The sat package
The public interface for the sat package
By Andrei Tchaltsev, Roberto Cavada
This package contains the generic interface to access
to sat solvers. A set of specific Sat solvers implementation are internally
kept, and are not accessible
Last updated on 2011/04/06 21h:13