master-keying / minisatLinks
A minimalistic and high-performance SAT solver
☆146Updated 3 years ago
Alternatives and similar repositories for minisat
Users that are interested in minisat are comparing it to the libraries listed below
Sorting:
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 4 years ago
- A Valgrind tool for Herbie☆94Updated 2 years ago
- A framework for reusing code in Clang tools☆125Updated 3 months ago
- Effect handlers in C++☆124Updated last year
- A Wait-Free Universal Construct for Large Objects☆96Updated 5 years ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆126Updated 8 months ago
- Generic Constraint Development Environment☆312Updated 4 months ago
- Unison's source code☆108Updated last year
- A fast alternative to the modulo reduction☆313Updated 4 years ago
- Lightweight framework for easy and efficient code generation☆102Updated last year
- Compile-time TRIE based string matcher (C++11)☆52Updated 6 years ago
- C++ embedded domain specific language for extended parsing expression grammars (PEGs)☆82Updated 5 months ago
- ☆54Updated last year
- Structure-of-array synthesis in C++20☆80Updated 3 years ago
- High Performance Streams Based on Coroutine TS ⚡☆150Updated 6 years ago
- A Scannerless GLR parser/parser generater.☆112Updated 5 months ago
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆175Updated 4 years ago
- A modern C++ library for efficiently and easily iterating through common combinatorial objects, such as combinations, permutations, parti…☆72Updated 3 years ago
- Modern library for bulk-synchronous parallel programs.☆94Updated 2 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Heap Layers: An Extensible Memory Allocation Infrastructure☆401Updated 2 weeks ago
- microsat☆138Updated 3 years ago
- C++ parser combinator library☆97Updated 10 years ago
- Multiprecision for modern C++☆317Updated 9 months ago
- A clang tool for happy refactoring without source-code gymnastics☆253Updated 5 years ago
- Lace - implementation of work-stealing in C☆53Updated last month
- Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)☆122Updated last year
- C++ as a Pure Functional Programming Language☆189Updated 6 years ago
- Compiler-neutral Internal Program Representation for C++☆229Updated last month