petersn / autosatLinks
Library for creation of SAT instances.
☆24Updated 3 years ago
Alternatives and similar repositories for autosat
Users that are interested in autosat are comparing it to the libraries listed below
Sorting:
- 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 last year
- SAT instance generator for SHA-1☆49Updated 4 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 8 years ago
- An evolutionary approach to find small and low latency sorting networks☆68Updated 5 months ago
- Assembly super-optimization via constraint solving☆223Updated this week
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆112Updated 3 weeks ago
- ☆71Updated this week
- A Brainfuck interpreter embedded inside DWARF debug information☆38Updated last year
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- The Mickey Mouse of dynamic linkers☆16Updated last week
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 10 months 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
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- Unison's source code☆108Updated last year
- Reference manual for ForwardCom instruction set and software standards☆170Updated 8 months ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- microsat☆138Updated 3 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- Runnable pseudocode for Finite State Entropy compression☆30Updated 7 years ago
- 64-bit PRNG shootout☆18Updated 4 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- ☆53Updated last year
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆57Updated 7 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- ☆11Updated 3 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- Richard's compiler bootstrap experiment☆46Updated 2 years ago
- A minimalistic and high-performance SAT solver☆146Updated 3 years ago