boolean-formulas

There are 1 repository under boolean-formulas topic.

crillab / gophersat
gophersat, a SAT solver in Go
artificial-intelligence boolean-formulas constraint-satisfaction-problem constraints pseudo-boolean-solver sat-solver
Language:Go 359
go-air / gini
A fast SAT solver
sat-solver concurrent logic-programming logic-circuit resolution boolean-formulas artificial-intelligence verification testing fuzzing dependencies circuit-sat
Language:Go 148
dave / brenda
Brenda is a boolean expression solver for Go AST
golang go ast boolean boolean-expression boolean-algebra boolean-operations boolean-formulas boolean-satisfiability
Language:Go 44
nano-byte / sat-solver
DPLL boolean satisfiability solver for .NET
sat-solver boolean-formulas dpll dotnet
Language:C# 9
ZeroBone / TQBFIP
Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE
boolean-formulas interactive interactive-visualizations ip polyspace protocol pspace qbf
Language:Python 4
blackbishop313 / ks-boolean-expression
KS Boolean Expression is a free software used to minimize boolean functions by a graphic method of Karnaugh maps.
karnaugh-map java boolean-expression boolean-formulas karnaugh-map-simplifier
Language:Java 1
ptgm / functionhood
Compute distance-k neighbours of any monotone Boolean Function
boolean-function boolean-formulas science-research
Language:Java 1
gareth618 / abepy
ABE AI Optimizations in Python
abstract-syntax-tree ai attribute-based-encryption boolean-formulas heuristics minimization python
Language:Python 0
ptgm / bifurcation
Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions
boolean-function boolean-formulas science-research multivalued-logic bifurcation-diagram
Language:Java 0
FlorianCassayre / EverydaySat
Solving some puzzles with Cafesat.
sat sat-solver boolean-formulas scala
Language:Scala
Lipen / tt2bf
Truth Table to Boolean Formula converter based on SAT
sat boolean-formulas
Language:Python