petersn / autosat
Library for creation of SAT instances.
☆18Updated 2 years ago
Alternatives and similar repositories for autosat:
Users that are interested in autosat are comparing it to the libraries listed below
- SAT instance generator for SHA-1☆47Updated 4 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆103Updated 5 months ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 3 months ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- The Mickey Mouse of dynamic linkers☆14Updated 2 months ago
- A Brainfuck interpreter embedded inside DWARF debug information☆36Updated 9 months ago
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- 64-bit PRNG shootout☆15Updated 2 years ago
- ☆58Updated this week
- microsat☆132Updated 2 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 last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- Assembly super-optimization via constraint solving☆180Updated 2 weeks ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- ☆22Updated 2 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 6 months ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- unicode security guidelines for identifiers☆25Updated 2 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 2 months ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- ☆11Updated 3 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Modeling futexes in TLA+☆22Updated 4 months ago