Similar repositories to gsdlab/chocosolver:

• gsdlab/chocosolver github similar
• SOM-Research/EMFtoCSP github similar
• gsdlab/clafer github similar
• AlloyTools/org.alloytools.alloy github similar
• niklasso/minisat github similar
• deathmarine/Luyten github similar