minisatp

The Pseudo-Boolean Solver MiniSat+

OTHER License

Stars

Ecosystems: C++

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

Friendly solver interfaces for Trilinos.

A minimalistic and high-performance SAT solver

Source code generator for differential equation solvers.

C-Bindings to MiniSat

A Python API for the MiniSat and MiniCard constraint solvers.

Mirror of https://gitlab.nektar.info/nektar/nektar

MiniCard: An efficient cardinality solver based on MiniSAT

The POCO C++ Libraries are powerful cross-platform C++ libraries for building network- and intern...

Collection of examples for the MiniSat API

A simple ready to go template project for building C/C++ software for the Raspberry Pi Pico

A model checker based on SAT solving and induction

Open-source repository of Orbiter Space Flight Simulator