Alternatives and similar repositories for autosat

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

• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆36Updated 9 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆231Updated this week
• marijnheule / microsat
  microsat
  ☆141Updated 3 years ago
• unison-code / unison
  Unison's source code
  ☆110Updated last year
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated last year
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• bertdobbelaere / SorterHunter
  An evolutionary approach to find small and low latency sorting networks
  ☆75Updated 2 months ago
• ForwardCom / manual
  Reference manual for ForwardCom instruction set and software standards
  ☆173Updated 11 months ago
• smowton / llpe
  ☆55Updated last year
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆98Updated 3 years ago
• phate / jlm
  A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation
  ☆73Updated last week
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆16Updated last month
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆54Updated 5 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆321Updated 4 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆120Updated this week
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆81Updated 2 years ago
• tendra / tendra
  The TenDRA Project
  ☆246Updated 3 months ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 2 months ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆97Updated 3 years ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated last year
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 4 years ago
• dsw / delta
  Delta assists you in minimizing "interesting" files subject to a test of their interestingness.
  ☆33Updated 3 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆59Updated 10 months ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆204Updated 3 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆39Updated last year
• harp-lab / gdlog
  ☆87Updated last year