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-3 [community]

No issues