boolean-formulas

There are 12 repositories under boolean-formulas topic.

crillab/gophersat
gophersat, a SAT solver in Go
Language:Go382 11 2323
go-air/gini
A fast SAT solver
Language:Go152 10 1117
dave/brenda
Brenda is a boolean expression solver for Go AST
Language:Go46 4 15
nano-byte/sat-solver
DPLL boolean satisfiability solver for .NET
Language:C#9 2 21
ZeroBone/TQBFIP
Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE
Language:Python4 3 00
blackbishop313/ks-boolean-expression
KS Boolean Expression is a free software used to minimize boolean functions by a graphic method of Karnaugh maps.
Language:Java1 2 00
ptgm/functionhood
[DEPRECATED] This repository is no longer maintained.
Language:Java1 3 00
ptgm/pyfunctionhood
Local computation of immediate neighbours of a given monotone non-degenerate Boolean function
Language:Python1 1 00
gareth618/abepy
ABE AI Optimizations in Python
Language:Python0 1 00
ptgm/bifurcation
Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions
Language:Java0 3 00
FlorianCassayre/EverydaySat
Solving some puzzles with Cafesat.
Language:Scala3 0
Lipen/tt2bf
Truth Table to Boolean Formula converter based on SAT
Language:Python3 0