petersn / autosatLinks
Library for creation of SAT instances.
☆23Updated 2 years ago
Alternatives and similar repositories for autosat
Users that are interested in autosat are comparing it to the libraries listed below
Sorting:
- An evolutionary approach to find small and low latency sorting networks☆66Updated 3 months ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 10 months ago
- Reference manual for ForwardCom instruction set and software standards☆168Updated 6 months ago
- Assembly super-optimization via constraint solving☆213Updated this week
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 8 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Richard's compiler bootstrap experiment☆45Updated 2 years ago
- ☆69Updated this week
- The TenDRA Project☆244Updated 11 months ago
- A minimalistic and high-performance SAT solver☆146Updated 3 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆110Updated last year
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 8 months ago
- microsat☆137Updated 3 years ago
- 64-bit PRNG shootout☆18Updated 2 months ago
- Poireau: a sampling allocation debugger☆99Updated 3 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆25Updated 2 years ago
- ☆53Updated last year
- metamath proof enumerators and other things☆94Updated last year
- Unison's source code☆108Updated last year
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 7 years ago
- Lace - implementation of work-stealing in C☆52Updated this week
- ZP7: Zach's Peppy Parallel-Prefix-Popcountin' PEXT/PDEP Polyfill☆54Updated 11 months ago
- unicode security guidelines for identifiers☆31Updated 8 months ago
- order-pp preprocessor library (standalone part of chaos-pp)☆112Updated 3 years ago
- Attribute grammar Based Language Extensions for C☆40Updated 3 weeks ago
- A Valgrind tool for Herbie☆94Updated 2 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Flexible and Constant Time Programming Language☆201Updated 3 years ago