luigicapogrosso / HermesBDDLinks
Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.
☆11Updated 6 months ago
Alternatives and similar repositories for HermesBDD
Users that are interested in HermesBDD are comparing it to the libraries listed below
Sorting:
- Schedule for ArtOfSAT☆10Updated last year
- EPMC: An Extendible Probabilistic Model Checker☆19Updated 5 months ago
- Benchmarking Suite for BDD packages☆17Updated last month
- The glucose SAT solver☆114Updated 2 weeks ago
- Scalable yet rigorous Floating-point Error Analysis☆11Updated last year
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC25)☆14Updated this week
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- CAQE is a solver for quantified Boolean formulas☆33Updated 2 years ago
- Pono: A flexible and extensible SMT-based model checker☆103Updated last week
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆30Updated 4 months ago
- Implementation of multi-core (binary) decision diagrams☆75Updated last year
- ☆11Updated 11 months ago
- A Fast Floating-Point Satisfiability Solver☆28Updated 6 years ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆126Updated last week
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 3 years ago
- ☆48Updated last year
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆26Updated last year
- ☆16Updated last year
- BTOR2 MLIR project☆26Updated last year
- Concurrent decision diagram framework written in Rust☆61Updated last week
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- work in progress, playing around with btor2 in rust☆11Updated 2 weeks ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆29Updated last week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 3 months ago
- Reads a state transition system and performs property checking☆83Updated 4 months ago
- An awesome list of e-graph resources☆183Updated last month
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated last year
- Cube-and-Conquer SAT solver☆35Updated last year