master-keying / minisat

Related projects ⓘ

Alternatives and complementary repositories for minisat

• marijnheule / microsat
  microsat
  ☆130Updated 2 years ago
• pramalhe / CX
  A Wait-Free Universal Construct for Large Objects
  ☆96Updated 4 years ago
• jwtowner / lug
  C++ embedded domain specific language for expressing parsers as extended parsing expression grammars (PEGs)
  ☆68Updated 3 months ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆67Updated 5 months ago
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆115Updated last year
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆151Updated last week
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆374Updated this week
• arminbiere / kissat
  ☆464Updated 2 months ago
• unison-code / unison
  Unison's source code
  ☆104Updated 8 months ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆46Updated 9 years ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆283Updated 4 months ago
• goldsborough / clang-expand
  A clang tool for happy refactoring without source-code gymnastics
  ☆248Updated 4 years ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆90Updated 2 years ago
• ips4o / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆114Updated 6 months ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆73Updated last year
• peter-winter / ctpg
  Compile Time Parser Generator is a C++ single header library which takes a language description as a C++ code and turns it into a LR1 tab…
  ☆459Updated 2 months ago
• mangpo / greenthumb
  ☆84Updated 2 years ago
• hfinkel / llvm-project-cxxjit
  Clang with JIT extensions
  ☆229Updated last year
• ths-rwth / smtrat
  ☆52Updated 2 months ago
• patmorin / arraylayout
  Experiments with array layouts for comparison-based searching
  ☆80Updated 10 months ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆128Updated 3 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated last year
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆86Updated 2 years ago
• taocpp / operators
  A highly efficient, move-aware operators library
  ☆198Updated last year
• ivmai / cudd
  CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…
  ☆117Updated last year
• lemire / fastrange
  A fast alternative to the modulo reduction
  ☆299Updated 3 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆79Updated last year
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆380Updated this week
• niekbouman / ctbignum
  Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)
  ☆112Updated last month