GitHub topics: boolean-formulas
nano-byte/sat-solver
DPLL boolean satisfiability solver for .NET
Language: C# - Size: 6.05 MB - Last synced at: about 6 hours ago - Pushed at: about 7 hours ago - Stars: 9 - Forks: 1
crillab/gophersat
gophersat, a SAT solver in Go
Language: Go - Size: 18.3 MB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 374 - Forks: 23
ptgm/functionhood 📦
[DEPRECATED] This repository is no longer maintained.
Language: Java - Size: 34.2 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
dave/brenda
Brenda is a boolean expression solver for Go AST
Language: Go - Size: 22.5 KB - Last synced at: 29 days ago - Pushed at: over 6 years ago - Stars: 46 - Forks: 5
go-air/gini
A fast SAT solver
Language: Go - Size: 583 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 148 - Forks: 16
ptgm/bifurcation
Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions
Language: Java - Size: 49.8 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
ZeroBone/TQBFIP
Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE
Language: Python - Size: 494 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0
blackbishop313/ks-boolean-expression
KS Boolean Expression is a free software used to minimize boolean functions by a graphic method of Karnaugh maps.
Language: Java - Size: 3.68 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
Lipen/tt2bf
Truth Table to Boolean Formula converter based on SAT
Language: Python - Size: 29.3 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
FlorianCassayre/EverydaySat
Solving some puzzles with Cafesat.
Language: Scala - Size: 479 KB - Last synced at: 3 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
