propositional-logic

Code and datasets for the Tsetlin Machine

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.

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

Provides a Refl encoding in Rust

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

Tutorial on the Convolutional Tsetlin Machine

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

An Inference Engine based on Propositional Calculus written in Common Lisp

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

A set of tools for analyzing languages via logic and automata

From LTLf/LDLf To Automata

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

@mathslogicbot

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

A computer algebra system for propositional logic

A Library for Classical Propositional Logic in Agda

A propositional logic library.

MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)

Open source F# mathematical logic library.

Minesweeper game powered with an AI assistant to help you dodge all those dangerous mines!