Propositional Logic Python Packages

pytsetlinmachineparallel

Multi-threaded implementation of the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features and multigranularity.

tmu

Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, Type III Feedback, focused negative sampling, multi-task classifier, autoencoder, literal budget, and one-vs-one multi-class classifier. TMU is written in Python with wrappers for C and CUDA-based clause evaluation and updating.

flloat

From LTLf/LDLf To Automata

pytsetlinmachine

Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget

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)

logicalpy

A Python library providing basic functionalities for manipulating propositional logic

limboole

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

logiprune

Propositional structure recovery and truth table entropy for hyperparameter search space pruning. Two papers, one library.