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 2012/11/18 14h:16