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:
- 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.☆104Updated 10 months ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- An evolutionary approach to find small and low latency sorting networks☆66Updated 2 months ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 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
- The Mickey Mouse of dynamic linkers☆14Updated last week
- SAT instance generator for SHA-1☆49Updated 4 years ago
- ☆69Updated this week
- Assembly super-optimization via constraint solving☆206Updated last week
- Reference manual for ForwardCom instruction set and software standards☆168Updated 5 months ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆109Updated 11 months ago
- Runnable pseudocode for Finite State Entropy compression☆30Updated 7 years ago
- Lace - implementation of work-stealing in C☆37Updated last year
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 8 months ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Poireau: a sampling allocation debugger☆99Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- A minimalistic and high-performance SAT solver☆145Updated 3 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years ago
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- Unison's source code☆108Updated last year
- A detour through the Linux dynamic linker☆143Updated this week
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 7 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- microsat☆136Updated 3 years ago
- ☆53Updated last year
- ALLVM Tools☆56Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆53Updated 4 months ago