Alternatives and similar repositories for minisat:

Users that are interested in minisat are comparing it to the libraries listed below

• pramalhe / CX
  A Wait-Free Universal Construct for Large Objects
  ☆96Updated 5 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 9 years ago
• marijnheule / microsat
  microsat
  ☆135Updated 2 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆83Updated 2 weeks ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• ips4o / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆119Updated 3 months ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆73Updated 11 months ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆93Updated 2 years ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆401Updated last week
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆154Updated last week
• arminbiere / satch
  SAT Solver SATCH
  ☆117Updated 2 years ago
• lemire / fastrange
  A fast alternative to the modulo reduction
  ☆308Updated 4 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆135Updated 4 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆87Updated 3 years ago
• SaschaWitt / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆162Updated 3 months ago
• patmorin / arraylayout
  Experiments with array layouts for comparison-based searching
  ☆84Updated last year
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆36Updated last year
• androm3da / optviewer-demo
  Demonstration of LLVM's opt-viewer tool
  ☆71Updated 8 years ago
• emeryberger / Heap-Layers
  Heap Layers: An Extensible Memory Allocation Infrastructure
  ☆395Updated 3 weeks ago
• mangpo / greenthumb
  ☆88Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• smowton / llpe
  ☆51Updated last year
• unison-code / unison
  Unison's source code
  ☆108Updated last year
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆78Updated last year
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated last month
• bloomberg / clangmetatool
  A framework for reusing code in Clang tools
  ☆124Updated last month
• LoopPerfect / conduit
  High Performance Streams Based on Coroutine TS ⚡
  ☆150Updated 6 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆101Updated last year