PyMiniSolvers

A Python API for the MiniSat and MiniCard constraint solvers.

OTHER License

Stars

Ecosystems: C++

Statistics for this project are still being loaded, please check back later.

Friendly solver interfaces for Trilinos.

A model checker based on SAT solving and induction

A minimalistic and high-performance SAT solver

A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infe...

Derivative-free nonlinear global optimizer with python interface

The Pseudo-Boolean Solver MiniSat+

MiniCard: An efficient cardinality solver based on MiniSAT

C++ implementation of the SQP algorithm SOLNP, utilizing Lagrangian Relaxation to handle both Ine...