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