boolean-formulas

Star

Here are 9 public repositories matching this topic...

crillab / gophersat

Star

gophersat, a SAT solver in Go

constraint-satisfaction-problem artificial-intelligence constraints boolean-formulas sat-solver pseudo-boolean-solver

Updated Jul 1, 2021
Go

go-air / gini

Sponsor Star

A fast SAT solver

testing resolution verification artificial-intelligence fuzzing concurrent logic-programming dependencies boolean-formulas sat-solver logic-circuit circuit-sat

Updated Aug 22, 2021
Go

dave / brenda

Star

Brenda is a boolean expression solver for Go AST

go golang ast boolean boolean-expression boolean-formulas boolean-algebra boolean-operations boolean-satisfiability

Updated Feb 6, 2019
Go

nano-byte / sat-solver

Star

DPLL boolean satisfiability solver for .NET

dotnet boolean-formulas sat-solver dpll

Updated Aug 22, 2021
C#

ptgm / functionhood

Star

Compute distance-k neighbours of any monotone Boolean Function

boolean-formulas science-research boolean-function

Updated May 27, 2021
Java

blackbishop313 / ks-boolean-expression

Star

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

java karnaugh-map boolean-expression boolean-formulas karnaugh-map-simplifier

Updated Mar 31, 2019
Java

Lipen / tt2bf

Star

Truth Table to Boolean Formula converter based on SAT

boolean-formulas sat

Updated Oct 27, 2018
Python

FlorianCassayre / EverydaySat

Star

Solving some puzzles with Cafesat.

scala boolean-formulas sat-solver sat

Updated May 3, 2018
Scala

ptgm / bifurcation

Star

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

boolean-formulas science-research bifurcation-diagram boolean-function multivalued-logic

Updated Oct 30, 2018
Java

Improve this page

Add a description, image, and links to the boolean-formulas topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the boolean-formulas topic, visit your repo's landing page and select "manage topics."

Learn more