master-keying / minisatLinks
A minimalistic and high-performance SAT solver
☆145Updated 3 years ago
Alternatives and similar repositories for minisat
Users that are interested in minisat are comparing it to the libraries listed below
Sorting:
- Implementation of multi-core (binary) decision diagrams☆75Updated last year
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆48Updated 10 years ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆120Updated 5 months ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- microsat☆136Updated 3 years ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆163Updated 5 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- An evolutionary approach to find small and low latency sorting networks☆66Updated 2 months ago
- BitMagic Library☆425Updated 2 months ago
- High Performance Streams Based on Coroutine TS ⚡☆150Updated 6 years ago
- Lingeling SAT Solver☆102Updated last year
- Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)☆121Updated 8 months ago
- Intorduction to profiling C\C++ applications. Description of different tools, comparison of capabilities and examples in code.☆54Updated 7 years ago
- A Wait-Free Universal Construct for Large Objects☆97Updated 5 years ago
- Effect handlers in C++☆122Updated last year
- Lace - implementation of work-stealing in C☆37Updated last year
- Multiprecision for modern C++☆314Updated 6 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- A Valgrind tool for Herbie☆94Updated 2 years ago
- Heap Layers: An Extensible Memory Allocation Infrastructure☆398Updated 2 weeks ago
- A fast alternative to the modulo reduction☆310Updated 4 years ago
- SAT Solver SATCH☆120Updated 2 years ago
- ☆545Updated 3 months ago
- Generic Constraint Development Environment☆290Updated last month
- SRI Yices SMT Solver☆413Updated this week
- CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…☆130Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- A simple, extensible, portable, efficient and header-only SIMD library!☆229Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- The opensmt solver☆84Updated last week