tip

A model checker based on SAT solving and induction

Stars

Ecosystems: C++

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

A minimalistic and high-performance SAT solver

MiniCard: An efficient cardinality solver based on MiniSAT

KLEE Symbolic Execution Engine

The Z3 Theorem Prover

Use Emacs as a C/C++ IDE

High-level, multiplatform C++ network packet sniffing and crafting library.

The Pseudo-Boolean Solver MiniSat+

Friendly solver interfaces for Trilinos.

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

A Python API for the MiniSat and MiniCard constraint solvers.

Source code generator for differential equation solvers.