The sat package
The public interface for the sat package
By 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 2004/06/23 13h:52