NPCompleter
Solutions
Blog
More
Solve Boolean satisfiability problems. The original NP-complete problem with applications in circuit design and AI.
Solve optimization problems with integer constraints. Essential for operations research and scheduling.