ssoelvsten / buddyLinks
BuDDy BDD package (with CMake support)
☆12Updated last year
Alternatives and similar repositories for buddy
Users that are interested in buddy are comparing it to the libraries listed below
Sorting:
- Benchmarking Suite for BDD packages☆17Updated last month
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆31Updated 3 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- ☆13Updated 7 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆29Updated last week
- The DRAT-trim proof checker☆61Updated 7 months ago
- ☆15Updated 4 years ago
- ☆16Updated last year
- A hardware model checker for hyperproperties☆18Updated last year
- High-performance probabilistic exact counter☆41Updated last week
- ☆34Updated 2 weeks ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated last year
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- A Flexible and Efficient Proof Checker for SMT Solvers☆25Updated this week
- SMTInterpol interpolating SMT solver☆66Updated 2 weeks ago
- SAT Solver SATCH☆120Updated 2 years ago
- TChecker is an open-source verification tool for timed automata☆22Updated last month
- Scalable yet rigorous Floating-point Error Analysis☆11Updated last year
- Cube-and-Conquer SAT solver☆35Updated last year
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆34Updated 2 months ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- A framework to ease parallelization of sequential SAT solvers☆19Updated last month
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆13Updated 8 years ago
- A model checker based on SAT solving and induction☆13Updated 10 years ago
- The Termination Problem Database☆30Updated 2 weeks ago
- Synthesis Format Conversion Tool☆24Updated last month
- Solver for Constrained Horn Clauses☆39Updated 2 weeks ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Intrepyd Model Checker☆18Updated 3 years ago