Search Packages

tmu

Your project description

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

flloat

A Python implementation of the FLLOAT library.

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)

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.

logicalpy

A 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

Smarter AI training through propositional logic and information theory.