proxy.golang.org "boolean-formulas" keyword
View the packages on the proxy.golang.org package registry that are tagged with the "boolean-formulas" keyword.
Top 2.7% on proxy.golang.org
25 versions - Latest release: about 4 years ago - 19 dependent packages - 85 dependent repositories - 141 stars on GitHub
github.com/go-air/gini v1.0.4 💰
Package gini provides a fast SAT solver. Package gini contains both libraries and commands. The...25 versions - Latest release: about 4 years ago - 19 dependent packages - 85 dependent repositories - 141 stars on GitHub
Top 2.1% on proxy.golang.org
17 versions - Latest release: almost 2 years ago - 29 dependent packages - 27 dependent repositories - 382 stars on GitHub
github.com/crillab/gophersat v1.4.0
gophersat, a SAT solver in Go17 versions - Latest release: almost 2 years ago - 29 dependent packages - 27 dependent repositories - 382 stars on GitHub
Top 4.1% on proxy.golang.org
2 versions - Latest release: over 8 years ago - 38 dependent packages - 198 dependent repositories - 45 stars on GitHub
github.com/dave/brenda v1.1.0
Package brenda is a boolean expression solver for Go AST2 versions - Latest release: over 8 years ago - 38 dependent packages - 198 dependent repositories - 45 stars on GitHub
Related Keywords
artificial-intelligence
2
sat-solver
2
golang
1
go
1
boolean-satisfiability
1
boolean-operations
1
boolean-expression
1
boolean-algebra
1
boolean
1
ast
1
pseudo-boolean-solver
1
constraints
1
constraint-satisfaction-problem
1
verification
1
testing
1
resolution
1
logic-programming
1
logic-circuit
1
fuzzing
1
dependencies
1
concurrent
1
circuit-sat
1