CaDiBack BackBone Extractor
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.
$
pkg install cadibackOrigin
math/cadiback
Size
60.1KiB
License
MIT
Maintainer
yuri@FreeBSD.org
Dependencies
1 packages
Required by
0 packages