API Reference#
This reference manual details functions, modules, and objects included in NPyComp, describing what they are and what they do.
Implementations of various NP-complete problems. |
|
Implementations of reductions between NP-complete problems. |
|
Implementations of SAT solvers. |