gophersat, a SAT solver in Go

A fast SAT solver

Brenda is a boolean expression solver for Go AST

DPLL boolean satisfiability solver for .NET

Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE

Local computation of immediate neighbours of a given monotone non-degenerate Boolean function

[DEPRECATED] This repository is no longer maintained.

KS Boolean Expression is a free software used to minimize boolean functions by a graphic method of Karnaugh maps.

ABE AI Optimizations in Python

Solving some puzzles with Cafesat.

Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions

Truth Table to Boolean Formula converter based on SAT