Two more predefined SAT encoding configurations.
Two more predefined SAT encoding configurations.

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