kakwa / pylogic
Python Module for Logical Validation (forked from Rob Truxler library)
☆25Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for pylogic
- Resolution theorem proving for predicate logic in pure Python.☆91Updated last year
- ☆72Updated 3 years ago
- Formal Concept Analysis with Python☆112Updated 8 months ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆59Updated 7 years ago
- Python bindings to picosat (a SAT solver)☆183Updated this week
- converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy☆91Updated 5 years ago
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- Formal concept analysis lattice generation and query in Python☆13Updated 10 years ago
- Backend map and tile generation and webserver for the Paperscape map☆46Updated 6 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated last week
- pylog: an implementation of Prolog features in Python☆35Updated 2 months ago
- ☆44Updated 2 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- a datalog implementation in Python☆280Updated 2 months ago
- Metamath verifier in Python☆34Updated 7 months ago
- A Python library for working with finite state automata.☆26Updated 13 years ago
- Logic Programming in Python☆30Updated 3 years ago
- An automated theorem prover for first-order logic.☆233Updated 3 years ago
- ☆42Updated 7 years 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
- Python library that enables using prolog syntax and logic programming in python☆116Updated last year
- System for eXtended Hybrid Abductive Inductive Learning☆24Updated 3 years ago
- MathWebSearch Implementation☆47Updated 2 years ago
- Relational data mining in python☆31Updated 2 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆19Updated 3 weeks ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- Pure Python Evolutionary Algorithms Framework☆46Updated 5 years ago
- metaprogramming for don't-repeat-yourself Python☆22Updated 5 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago