master-keying / minisatLinks
A minimalistic and high-performance SAT solver
☆146Updated 4 years ago
Alternatives and similar repositories for minisat
Users that are interested in minisat are comparing it to the libraries listed below
Sorting:
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆129Updated 9 months ago
- RLibm for 32-bit representations (float and posit32)☆60Updated 4 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- Unison's source code☆108Updated last year
- Effect handlers in C++☆123Updated 2 years ago
- ☆53Updated last year
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Lightweight framework for easy and efficient code generation☆104Updated last year
- Universal Number Library☆44Updated 7 years ago
- Structure-of-array synthesis in C++20☆81Updated 3 years ago
- C++ parser combinator library☆97Updated 10 years ago
- Experiments with array layouts for comparison-based searching☆84Updated last year
- A fast alternative to the modulo reduction☆314Updated 4 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆30Updated 7 years ago
- microsat☆137Updated 3 years ago
- A Wait-Free Universal Construct for Large Objects☆96Updated 5 years ago
- A Valgrind tool for Herbie☆95Updated 3 years ago
- BSD Licensed Bignum Library☆232Updated last year
- Testing common random-number generators (RNG)☆190Updated 2 years ago
- C++ as a Pure Functional Programming Language☆188Updated 6 years ago
- Online demo without installing at - https://buildit.so/tryit☆184Updated last week
- Generic Constraint Development Environment☆313Updated 5 months ago
- Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)☆122Updated last year
- C++ embedded domain specific language for extended parsing expression grammars (PEGs)☆82Updated 6 months ago
- ☆58Updated 3 months ago
- Compiler-neutral Internal Program Representation for C++☆229Updated 2 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆52Updated last month
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆164Updated 9 months ago
- High Performance Streams Based on Coroutine TS ⚡☆150Updated 6 years ago
- A framework for reusing code in Clang tools☆126Updated 2 weeks ago