suyjuris / obstLinks
Online BDD Simulation Tool
☆18Updated 3 years ago
Alternatives and similar repositories for obst
Users that are interested in obst are comparing it to the libraries listed below
Sorting:
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆47Updated last month
- The LTSmin model checking toolset☆60Updated 7 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆22Updated 2 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- Deductive verification infrastructure for probabilistic programs☆18Updated last week
- embedding MLIR in LEAN☆47Updated 11 months ago
- High-performance probabilistic exact counter☆41Updated this week
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆29Updated 2 months ago
- Specify and synthesize systems using symbolic algorithms☆49Updated 7 months ago
- ☆18Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆71Updated last week
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- This package provides an interface and foundation for verified SAT reasoning☆52Updated 9 months ago
- Coq library for verified low-level programming☆59Updated 7 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆34Updated this week
- ☆31Updated last year
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Updated 10 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆68Updated last month
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- A symbolic model checker for Dynamic Epistemic Logic.☆46Updated 3 months ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year
- SMTInterpol interpolating SMT solver☆66Updated 3 weeks ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last year