meelgroup / arjunLinks
CNF minimizer and minimal independent set minimizer
☆20Updated 3 weeks ago
Alternatives and similar repositories for arjun
Users that are interested in arjun are comparing it to the libraries listed below
Sorting:
- Fuzz testing for Dafny☆13Updated 3 years ago
- Automatically generate a compiler using equality saturation☆30Updated last year
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆87Updated 2 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 5 months ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Updated 5 years ago
- Structured BVA☆39Updated last year
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- UniGen approximately uniform sampler☆31Updated last month
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆28Updated last year
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆20Updated 2 months ago
- Embedded Universal DSL: a good DSL for us, by us☆44Updated this week
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 4 months ago
- Schedule for ArtOfSAT☆10Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Connecting bv_decide to SMTLIB.☆13Updated last week
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆24Updated last week
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆46Updated 5 months ago
- Egraphs Modulo Theories☆16Updated 2 months ago
- Liveness-driven random C code generator☆42Updated last month
- LLVM support for the lean theorem prover☆51Updated 3 years ago
- Symbolic execution tool for Sail ISA specifications☆78Updated last month
- Example implementation of Arm's Architecture Specification Language (ASL)☆44Updated last week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated this week
- ☆16Updated 3 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated last month
- BTOR2 MLIR project☆26Updated last year
- ☆40Updated 2 months ago