//
pkg.gl
Category
github.com/booleworks/logicng-go
handler
package
0.4.0
Repository:
https://github.com/booleworks/logicng-go.git
Documentation:
pkg.go.dev
Overview
Versions
1
Dependencies
1
Dependents
12
Files
44 SLOC
github.com/booleworks/logicng-go/formula
github.com/booleworks/logicng-go/normalform
github.com/booleworks/logicng-go/sat
github.com/booleworks/logicng-go/primeimplicant
github.com/booleworks/logicng-go/simplification
github.com/booleworks/logicng-go/bdd
github.com/booleworks/logicng-go/dnnf
github.com/booleworks/logicng-go/maxsat
github.com/booleworks/logicng-go/model/iter
github.com/booleworks/logicng-go/explanation/smus
github.com/booleworks/logicng-go/explanation/mus
github.com/booleworks/logicng-service/computation