Alternatives and similar repositories for autosat

Users that are interested in autosat are comparing it to the libraries listed below

• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• bertdobbelaere / SorterHunter
  An evolutionary approach to find small and low latency sorting networks
  ☆73Updated 2 weeks ago
• ForwardCom / manual
  Reference manual for ForwardCom instruction set and software standards
  ☆172Updated 10 months ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆320Updated 3 years ago
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆224Updated last week
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆117Updated 2 months ago
• unison-code / unison
  Unison's source code
  ☆109Updated last year
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆36Updated 8 years ago
• smowton / llpe
  ☆55Updated last year
• phate / jlm
  ☆72Updated this week
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆202Updated 3 years ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆97Updated 3 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated last year
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆98Updated 3 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• vsklad / cgen
  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
• aphitorite / Logsort
  O(n log n) In-place Stable Quicksort
  ☆20Updated 3 months ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• pramalhe / 2PLSF
  Two-Phase Locking with Starvation-Freedom
  ☆23Updated 2 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆39Updated last year
• skeeto / prng64-shootout
  64-bit PRNG shootout
  ☆19Updated 5 months ago
• appleseedlab / superc
  The SuperC Parsing Framework
  ☆35Updated 6 months ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 3 weeks ago
• burtonsamograd / anser
  A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…
  ☆14Updated 7 years ago
• marijnheule / microsat
  microsat
  ☆138Updated 3 years ago
• tendra / tendra
  The TenDRA Project
  ☆245Updated last month
• cattius / opcodetester
  Tool for automated testing and analysis of Intel x86-64 undocumented instructions in user mode and in the kernel
  ☆47Updated 6 years ago
• moehriegitt / vastringify
  Type-safe Printf in C
  ☆72Updated 10 months ago