public final class MoreThanSAT
extends java.lang.Object
This is an example of use of the SAT4J library for computing the backbone of
a CNF or to compute the number of solutions of a CNF. We do not claim that
those tools are very efficient: they were simple to write and they helped us
on small examples.
- Author:
- leberre