---

python-simplesat

Link	package | bugs open | bugs closed | Wiki | GitHub | web search
Description	SAT solver for use in Enstaller, based on the MiniSat implementation
Version	0.8.2-7 [extra]

No issues