|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
Implementations of various constraints for MiniSAT. One just needs to swap the DataStructureFactory in Solver to change the internal representation of the constraints.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||