petersn / autosat
Library for creation of SAT instances.
☆17Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for autosat
- SAT instance generator for SHA-1☆47Updated 3 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆101Updated 2 months ago
- Lower Size Bounds for Sorting Networks☆43Updated 3 years ago
- A Valgrind tool for Herbie☆90Updated 2 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 7 years ago
- The Mickey Mouse of dynamic linkers☆14Updated this week
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆23Updated last week
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆57Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆40Updated last year
- 64-bit PRNG shootout☆14Updated 2 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- ALLVM Tools☆55Updated 2 years ago
- ☆49Updated 8 months ago
- Poireau: a sampling allocation debugger☆86Updated 2 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 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…☆23Updated last year
- Markup source code showing optimizations☆35Updated 4 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 4 years ago
- Bootstrap compiler☆44Updated 5 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆79Updated last year
- A small DFA for under 16 states☆52Updated 6 years ago
- Dimacs CNF utilities☆20Updated 13 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 6 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated last year
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆33Updated 7 years ago
- Library for generating ABI-compliant LLVM IR☆59Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆68Updated this week