kakwa / pylogic
Python Module for Logical Validation (forked from Rob Truxler library)
☆25Updated 4 years ago
Alternatives and similar repositories for pylogic:
Users that are interested in pylogic are comparing it to the libraries listed below
- Resolution theorem proving for predicate logic in pure Python.☆93Updated last year
- ☆71Updated 4 years ago
- An automated theorem prover for first-order logic.☆237Updated 3 years ago
- Python bindings to picosat (a SAT solver)☆188Updated last month
- a datalog implementation in Python☆290Updated 7 months ago
- Tableau-based Theorem Prover for Natural Logic and Language☆117Updated last week
- ☆138Updated this week
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆20Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- ☆43Updated 2 years ago
- converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy☆94Updated 6 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆62Updated 7 years ago
- ERGO Agent Programming Language☆27Updated 10 months ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- A library for pattern matching on symbolic expressions in Python.☆168Updated last year
- Markov Logic Networks in Python☆136Updated 3 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- Python library that enables using prolog syntax and logic programming in python☆122Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆45Updated 3 weeks ago
- The Vampire Theorem Prover☆334Updated this week
- Physics Derivation Graph: mathematical connections among equations☆20Updated 11 months ago
- Python interface for SWI-Prolog☆46Updated last week
- Specify and synthesize systems using symbolic algorithms☆48Updated 5 months ago
- Metamath verifier in Python☆38Updated last year
- A junkyard of all Tel Aviv University-related projects☆38Updated 12 years ago
- Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf☆27Updated 7 years ago
- A Python-based interpreter for the agent-oriented programming language JASON☆50Updated last year
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago