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:
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- Effect handlers in C++☆123Updated last year
- Compiler-neutral Internal Program Representation for C++☆227Updated 2 months ago
- A Valgrind tool for Herbie☆94Updated 2 years ago
- Heap Layers: An Extensible Memory Allocation Infrastructure☆401Updated last month
- Lightweight framework for easy and efficient code generation☆100Updated 11 months ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆121Updated 6 months ago
- A clang tool for happy refactoring without source-code gymnastics☆252Updated 5 years ago
- Structure-of-array synthesis in C++20☆81Updated 3 years ago
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆175Updated 4 years ago
- High Performance Streams Based on Coroutine TS ⚡☆149Updated 6 years ago
- Live Asynchronous Visualized Architecture☆97Updated 6 years ago
- C++ as a Pure Functional Programming Language☆189Updated 6 years ago
- A Wait-Free Universal Construct for Large Objects☆97Updated 5 years ago
- Unison's source code☆108Updated last year
- A framework for reusing code in Clang tools☆125Updated last month
- microsat☆136Updated 3 years ago
- A fast alternative to the modulo reduction☆311Updated 4 years ago
- Compile-time TRIE based string matcher (C++11)☆52Updated 6 years ago
- A modern interface for implementing bulk-synchronous parallel programs.☆94Updated 2 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- ☆53Updated last year
- Lace - implementation of work-stealing in C☆45Updated this week
- Generic Constraint Development Environment☆309Updated 2 months ago
- C++ embedded domain specific language for extended parsing expression grammars (PEGs)☆81Updated 3 months ago
- Multiprecision for modern C++☆316Updated 7 months ago
- A C++ smart-pointer with value-semantics 💎☆131Updated 5 years ago
- Online demo without installing at - https://buildit.so/tryit☆178Updated last month
- C++ parser combinator library☆97Updated 10 years ago