corail-research/learning-generic-csp

Add and automate SAT insatnce generator

Closed this issue · 0 comments

jardinetsouffleton commented

Include PyMiniSolver to build SAT training instances.