Alternatives and similar repositories for minisat

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

• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 9 years ago
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆120Updated last year
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆78Updated last year
• ips4o / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆120Updated 4 months ago
• marijnheule / microsat
  microsat
  ☆136Updated 2 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆83Updated last week
• pramalhe / CX
  A Wait-Free Universal Construct for Large Objects
  ☆97Updated 5 years ago
• LoopPerfect / conduit
  High Performance Streams Based on Coroutine TS ⚡
  ☆150Updated 6 years ago
• jwbuurlage / Bulk
  A modern interface for implementing bulk-synchronous parallel programs.
  ☆94Updated 2 years ago
• horenmar / sudoku-example
  An example of C++ Sudoku solver using MiniSat library.
  ☆29Updated 4 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆73Updated last year
• unison-code / unison
  Unison's source code
  ☆107Updated last year
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆103Updated last year
• Gecode / gecode
  Generic Constraint Development Environment
  ☆291Updated 3 weeks 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
• bloomberg / clangmetatool
  A framework for reusing code in Clang tools
  ☆124Updated 2 months ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆94Updated 2 years ago
• martinjonas / Q3B
  ☆28Updated 2 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆49Updated 7 months ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆36Updated last year
• mangpo / greenthumb
  ☆88Updated 2 years ago
• SaschaWitt / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆163Updated 4 months ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆45Updated 4 years ago
• GabrielDosReis / ipr
  Compiler-neutral Internal Program Representation for C++
  ☆223Updated this week
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆318Updated 3 years ago
• minjaehwang / bitsetsort
  Bitset Sort, a faster std::sort replacement.
  ☆78Updated 3 years ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆408Updated last week
• SaadAttieh / lazyCode
  C++14: bringing in those expressions that you wish you had, Lazily evaluated, compossible generators, maps, filters, ranges and more...
  ☆155Updated 6 years ago