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: about 2 months ago
JSON representation
SAT-based Pseudo-Boolean Solver
- Host: GitHub
- URL: https://github.com/vasilisp/pb-sat
- Owner: vasilisp
- License: mit
- Created: 2018-11-12T23:34:00.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2018-11-12T23:42:13.000Z (over 6 years ago)
- Last Synced: 2023-08-01T22:15:00.373Z (almost 2 years ago)
- Topics: common-lisp, formal-methods, integer-linear-programming, mathematical-programming, pseudo-boolean-solver, sat-solver
- Language: Common Lisp
- Size: 16.6 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0