OptaPy is an AI constraint solver for Python to optimize planning and sc...
Experimental minisat SAT solver reimplementation in Rust