abau / cppsat
Propositional Encodings in C++11
☆18Updated 6 years ago
Alternatives and similar repositories for cppsat:
Users that are interested in cppsat are comparing it to the libraries listed below
- bit & sketches data structures☆60Updated 6 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Python bindings for libgccjit.so☆48Updated 9 years ago
- Support for Currying and Function Composition in C++☆61Updated 9 years ago
- A C++ library for concurrent programming☆71Updated 4 years ago
- A library for Study Group 14 of Working Group 21 (C++)☆35Updated 7 years ago
- Functional Utilities for C++☆40Updated 10 years ago
- No sane compiler would optimize atomics: the presentation☆106Updated 8 years ago
- Overridable universal operator overloading for C++14☆20Updated 10 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- nkvdb - is a numeric time-series database.☆35Updated 8 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- multi-way atomic compare-and-swap with x64/TSX☆86Updated 8 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- A dependency-based coroutine scheduler☆45Updated 8 years ago
- C++1y coroutine library.☆17Updated 7 years ago
- Synchronization library for C++11☆17Updated 7 years ago
- C++11 library for fast fuzzy searching☆14Updated 9 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- transducers in C++ 14☆40Updated 10 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- compile time assembly interpreter☆85Updated 7 years ago
- Some code in C that allows one thread to pass items to another thread without locking☆39Updated 8 years ago
- A fast implementation for varbyte 32bit/64bit integer compression☆117Updated 8 years ago
- Swang: A clang tool to check C++ swagg factor.☆37Updated 9 years ago
- Benchmark showing the we can randomly hash strings very quickly with good universality☆136Updated 3 months ago
- Continuation-ready container algorithms from STL algorithms☆60Updated 7 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- Write C++ Code to be compiled in a parallel future.☆15Updated 8 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago