Name: pycosat
Owner: Continuum Analytics, Inc.
Description: Python bindings to picosat (a SAT solver)
Created: 2013-03-26 20:00:02.0
Updated: 2017-12-30 11:38:03.0
Pushed: 2017-11-08 03:00:33.0
Size: 155
Language: C
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
null