marcincuber / modal_logicLinks
Final Year Masters Project: modal logic solver tableaux
☆25Updated 3 years ago
Alternatives and similar repositories for modal_logic
Users that are interested in modal_logic are comparing it to the libraries listed below
Sorting:
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 3 months ago
- ☆40Updated 6 years ago
- Unified Maude model-checking tool☆13Updated last week
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- VATA Tree Automata Library☆34Updated last week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 4 months ago
- The main repository integrating the LaTeX beamer-based slides☆30Updated 10 months ago
- An interface to SAT solver tools (like minisat)☆62Updated last month
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 5 months ago
- The Cubicle model checker☆14Updated 3 weeks ago
- generative programming & verification☆34Updated 7 months ago
- Pedagogical first-order prover in Python☆80Updated 8 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- ☆13Updated 4 years ago
- Python term rewriting☆30Updated 12 years ago
- Port of Aleph to SWI-Prolog☆52Updated 2 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 6 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 10 years ago
- Metamath verifier in Python☆41Updated 8 months ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 9 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- a Java front-end for Sketch synthesis tool☆20Updated last year
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 12 years ago
- Generates natural language versions of Coq proofs☆51Updated 8 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 6 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated 2 months ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆55Updated 5 years ago