#Boolean-formulas

Showing 2 of 2 repositories tagged #boolean-formulas, ranked by stars

crillab

gophersat

gophersat, a SAT solver in Go

Score

100

★ 388 ⑂ 24 —

Go

go-air

gini

A fast SAT solver

Score

0

★ 157 ⑂ 18 —

Go