petersn / autosat
Library for creation of SAT instances.
☆21Updated 2 years ago
Alternatives and similar repositories for autosat
Users that are interested in autosat are comparing it to the libraries listed below
Sorting:
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 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
- ☆63Updated this week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 8 months ago
- A Brainfuck interpreter embedded inside DWARF debug information☆37Updated last year
- Assembly super-optimization via constraint solving☆188Updated this week
- ☆51Updated last year
- An evolutionary approach to find small and low latency sorting networks☆64Updated 3 weeks ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 3 years ago
- Structured BVA☆36Updated last year
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 6 months ago
- The Mickey Mouse of dynamic linkers☆14Updated 2 months ago
- microsat☆135Updated 2 years ago
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆105Updated 9 months ago
- Partial evaluation of Python code☆20Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆74Updated this week
- Lingeling SAT Solver☆103Updated last year
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- 64-bit PRNG shootout☆16Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 5 months ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Attribute grammar Based Language Extensions for C☆40Updated last month
- Poireau: a sampling allocation debugger☆87Updated 3 years ago
- A minimalistic and high-performance SAT solver☆144Updated 3 years ago
- 8-bit Xor Filter in C99☆61Updated 5 years ago
- LibPoly is a C library for manipulating polynomials☆51Updated last week