pkg-descr « cadiback « math - freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/math/cadiback/pkg-descr

blob: fea694937e1a98289015da903beadf66cee41f38 (plain) (blame)

1
2
3

CaDiBack is a tool using the CaDiCaL solver to determine the backbone of a
satisfiable instance, which are those literals set to true in all models of
the formula.