search

corail-research / learning-generic-csp

Representing CP problems as graphs
16 stars 1 forks source link

Add and automate SAT insatnce generator #19

Closed jardinetsouffleton closed 1 year ago

jardinetsouffleton commented 1 year ago

Include PyMiniSolver to build SAT training instances.