master-keying / minisat
A minimalistic and high-performance SAT solver
☆141Updated 2 years ago
Related projects: ⓘ
- Effect handlers in C++☆115Updated 10 months ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆114Updated 4 months ago
- Implementation of multi-core (binary) decision diagrams☆65Updated 3 months ago
- A Wait-Free Universal Construct for Large Objects☆95Updated 4 years ago
- A Valgrind tool for Herbie☆90Updated last year
- An evolutionary approach to find small and low latency sorting networks☆54Updated 4 months ago
- Multiprecision for modern C++☆296Updated last month
- A fast alternative to the modulo reduction☆294Updated 3 years ago
- Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)☆112Updated 2 months ago
- Heap Layers: An Extensible Memory Allocation Infrastructure☆383Updated last month
- A framework for reusing code in Clang tools☆119Updated 2 months ago
- Online demo without installing at - https://buildit.so/tryit☆146Updated 2 weeks ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆69Updated 10 months ago
- microsat☆129Updated 2 years ago
- Clang with JIT extensions☆228Updated last year
- Compiler-neutral Internal Program Representation for C++☆219Updated last year
- Lightweight framework for easy and efficient code generation☆95Updated last month
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- 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…☆458Updated 2 weeks ago
- Lace - implementation of work-stealing in C☆32Updated 5 months ago
- Super-parallel Python port of the C-Reduce☆220Updated 2 weeks ago
- A modern interface for implementing bulk-synchronous parallel programs.☆93Updated last year
- BitMagic Library☆411Updated 2 weeks ago
- Experiments with array layouts for comparison-based searching☆80Updated 8 months ago
- Bitset Sort, a faster std::sort replacement.☆77Updated 2 years ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆159Updated 3 years ago
- A C++14-and-later expression template library☆107Updated last month
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆172Updated 3 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆313Updated 2 years ago
- EDSL for C++ to make just-in-time code generation easier☆79Updated last year