Search Packages

tarski

Tarski - An AI Planning Modeling Framework

pyprover

Resolution theorem proving for predicate logic in pure Python.

tensor-theorem-prover

Customizable first-order logic theorem prover supporting approximate vector similarity in unification

tarski-tmp

This is a fork of Tarski, a framework for the specification, modeling and manipulation of AI planning problems.

amr-logic-converter

Convert Abstract Meaning Representation (AMR) into first-order logic

mathesis

Python library for computational formal logic, formal semantics, and theorem proving

pythogic

A Python package for deal with logical formulas and formal systems (e.g. FOL)

pygplib

Pygplib: Python First-Order Graph Property Library

logiclib

A Python library for first-order logic.

psitip

Python Symbolic Information Theoretic Inequality Prover

folpy

First Order Logic Python Library

pydavid

A Python interface of Open-David, an abductive reasoner

first-order

Simple first-order logic library

tarski-lapkt

Tarski is a framework for the specification, modeling and manipulation of AI planning problems.

termination

A library for first-order term-rewriting