greatspn / SOURCESLinks
Main repository of the GreatSPN framework
☆54Updated last week
Alternatives and similar repositories for SOURCES
Users that are interested in SOURCES are comparing it to the libraries listed below
Sorting:
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆51Updated 3 years ago
- The main development version of the PRISM model checker.☆181Updated this week
- A multi-formalism, multi-solution model-checker centered on the language GAL☆27Updated 2 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆138Updated this week
- Pedagogical first-order prover in Python☆80Updated 8 months ago
- SAT Solver SATCH☆120Updated 3 years ago
- The LTSmin model checking toolset☆61Updated last year
- Language bindings for Maude☆24Updated 3 months ago
- ☆164Updated 2 weeks ago
- A Modern Probabilistic Model Checker☆160Updated last week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Updated 2 years ago
- High-performance model counter☆53Updated this week
- The DRAT-trim proof checker☆68Updated last year
- The glucose SAT solver☆136Updated last month
- ☆61Updated 2 months ago
- Specify and synthesize systems using symbolic algorithms☆52Updated last month
- Implementation of multi-core (binary) decision diagrams☆83Updated 5 months ago
- Online BDD Simulation Tool☆25Updated 6 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- The Git repository for the mCRL2 toolset.☆103Updated this week
- ☆34Updated 5 years ago
- The People's Verification System☆168Updated this week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 3 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆89Updated 2 months ago
- CUDD Decision Diagram Package☆151Updated 2 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆58Updated 2 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆26Updated 8 months ago
- Unison's source code☆110Updated last year