An open API service indexing awesome lists of open source software.

https://github.com/vasilisp/pb-sat

SAT-based Pseudo-Boolean Solver
https://github.com/vasilisp/pb-sat

common-lisp formal-methods integer-linear-programming mathematical-programming pseudo-boolean-solver sat-solver

Last synced: 3 months ago
JSON representation

SAT-based Pseudo-Boolean Solver

Awesome Lists containing this project