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
- SAT instance generator for SHA-1☆49Updated 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
- An evolutionary approach to find small and low latency sorting networks☆68Updated 5 months ago
- Assembly super-optimization via constraint solving☆220Updated this week
- Reference manual for ForwardCom instruction set and software standards☆170Updated 8 months ago
- ☆69Updated this week
- microsat☆138Updated 3 years ago
- The Mickey Mouse of dynamic linkers☆15Updated 2 months ago
- Unison's source code☆108Updated last year
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆111Updated this week
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- ☆54Updated last year
- Busy Beaver deciders backed by Coq proof☆57Updated 6 months ago
- Two-Phase Locking with Starvation-Freedom☆23Updated 2 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 10 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 8 years ago
- ☆23Updated 9 months ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- O(n log n) In-place Stable Quicksort☆20Updated last month
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆32Updated 3 years ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- Markup source code showing optimizations☆36Updated 5 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
- unicode security guidelines for identifiers☆32Updated 9 months ago
- Bootstrap compiler☆44Updated 6 years ago
- Lace - implementation of work-stealing in C☆53Updated last month