marcincuber / modal_logicLinks
Final Year Masters Project: modal logic solver tableaux
☆23Updated 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:
- Port of Aleph to SWI-Prolog☆49Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆48Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 2 weeks ago
- Unified Maude model-checking tool☆12Updated this week
- Pedagogical first-order prover in Python☆76Updated last month
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆76Updated 2 months ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆77Updated 2 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Language bindings for Maude☆23Updated 6 months ago
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆22Updated 3 years ago
- VATA Tree Automata Library☆32Updated 11 months ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- A collection of (public) specifications in different formalisms.☆18Updated last year
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 10 months ago
- Python term rewriting☆30Updated 12 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 8 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆35Updated 2 years ago
- The Heterogeneous Tool Set☆58Updated 5 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- A rule engine based on Attempto Controlled English☆18Updated 8 months ago
- ☆146Updated this week
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- ☆13Updated 3 years ago