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
- ☆54Updated last year
- Unison's source code☆108Updated last year
- Effect handlers in C++☆124Updated last year
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆123Updated 7 months ago
- Structure-of-array synthesis in C++20☆81Updated 3 years ago
- A Wait-Free Universal Construct for Large Objects☆96Updated 5 years ago
- Lightweight framework for easy and efficient code generation☆102Updated last year
- A modern interface for implementing bulk-synchronous parallel programs.☆94Updated 2 years ago
- High Performance Streams Based on Coroutine TS ⚡☆149Updated 6 years ago
- A Valgrind tool for Herbie☆94Updated 2 years ago
- microsat☆138Updated 3 years ago
- C++ as a Pure Functional Programming Language☆189Updated 6 years ago
- A clang tool for happy refactoring without source-code gymnastics☆252Updated 5 years ago
- Lace - implementation of work-stealing in C☆53Updated 2 weeks ago
- Multiprecision for modern C++☆315Updated 8 months ago
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 7 years ago
- Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)☆122Updated 10 months ago
- Universal Number Library☆42Updated 7 years ago
- A framework for reusing code in Clang tools☆125Updated last month
- A fast alternative to the modulo reduction☆311Updated 4 years ago
- ☆57Updated last month
- An evolutionary approach to find small and low latency sorting networks☆66Updated 4 months ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- C++ embedded domain specific language for extended parsing expression grammars (PEGs)☆82Updated 4 months ago
- Bitset Sort, a faster std::sort replacement.☆78Updated 3 years ago
- Experiments with array layouts for comparison-based searching☆84Updated last year
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆175Updated 4 years ago