felixvuo's Stars
xcsp3team/pycsp3
A Python Library for modeling combinatorial constrained problems
caesar0301/treelib
An efficient implementation of tree data structure in python 2/3.
sahands/simple-sat
Simple recursive and iterative SAT solver written in Python.