A minimalistic and high-performance SAT solver
OTHER License
C++ image processing and machine learning library with using of SIMD: SSE, AVX, AVX-512, AMX for...
Source code generator for differential equation solvers.
MiniCard: An efficient cardinality solver based on MiniSAT
A Python API for the MiniSat and MiniCard constraint solvers.
Mirror of https://gitlab.nektar.info/nektar/nektar
Collection of examples for the MiniSat API
Inference slice of marian for bergamot's tiny11 models. Faster to compile, and wield. Fewer model...
A model checker based on SAT solving and induction
A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infe...
Beginner's implementation of a simplex solver.
The Pseudo-Boolean Solver MiniSat+
Friendly solver interfaces for Trilinos.
High-level, multiplatform C++ network packet sniffing and crafting library.
Monte Carlo Numerical Linear Algebra Package