A functor-oriented SAT for Python
William Pitcock 329d81817d quirkysat: add asynchronous clause + model support 2 years ago
quirkysat quirkysat: add asynchronous clause + model support 2 years ago
.gitignore Initial commit 2 years ago
LICENSE Initial commit 2 years ago
README.md Initial commit 2 years ago

README.md

quirkysat

A functor-oriented SAT for Python