ivmai / cudd
CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)
☆123Updated last year
Alternatives and similar repositories for cudd:
Users that are interested in cudd are comparing it to the libraries listed below
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆185Updated last month
- Implementation of multi-core (binary) decision diagrams☆70Updated 7 months ago
- SAT Solver SATCH☆113Updated 2 years ago
- ☆34Updated 6 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated last year
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆56Updated 9 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆24Updated 2 weeks ago
- AMulet 2. - A better AIG Multiplier Examination Tool☆20Updated 2 years ago
- AIGER And-Inverter-Graph Library☆65Updated 3 weeks ago
- The opensmt solver☆78Updated last week
- Cube-and-Conquer SAT solver☆32Updated last year
- Reads a state transition system and performs property checking☆76Updated 2 months ago
- Approximate Model Counter☆70Updated 5 months ago
- Pono: A flexible and extensible SMT-based model checker☆87Updated 2 months ago
- The glucose SAT solver☆87Updated 2 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆74Updated last year
- A circuit toolkit☆96Updated 4 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆22Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆91Updated 3 months ago
- LibPoly is a C library for manipulating polynomials☆49Updated 3 weeks ago
- Lingeling SAT Solver☆99Updated 10 months ago
- An advanced header-only exact synthesis library☆24Updated 2 years ago
- The probSAT SAT Solver☆22Updated 2 years ago
- The DRAT-trim proof checker☆53Updated last month
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆27Updated 6 months ago
- C++ truth table library☆51Updated 9 months ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 6 months ago
- UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main …☆22Updated 6 months ago