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:16