Support for only direct and or order encoding encoding with Maximise and Minimise constraints with MiniSat.
Support for only direct and or order encoding encoding with Maximise and Minimise constraints with MiniSat.

eomahony/Numberjack,eomahony/Numberjack,JElchison/Numberjack,eomahony/Numberjack,JElchison/Numberjack,eomahony/Numberjack,eomahony/Numberjack,JElchison/Numberjack,JElchison/Numberjack,JElchison/Numberjack