Categorygithub.com/booleworks/logicng-gomodelenum
package
0.4.0
Repository: https://github.com/booleworks/logicng-go.git
Documentation: pkg.go.dev
Overview
Versions
1
Dependencies
6
Dependents
1
Files
294 SLOC

# Functions

CanonicalCNF returns a canonical CNF of the given formula.
CanonicalCNF returns a canonical CNF of the given formula.
CanonicalDNF returns a canonical DNF of the given formula.
CanonicalDNF returns a canonical DNF of the given formula.
OnFormula enumerates all models of a formula over the given variables.
OnFormulaWithConfig enumerates all models of a formula over the given variables.
OnSolver enumerates all models on the given SAT solver over the given variables.
OnSolverWithConfig enumerates all models on the given SAT solver over the given variables.
ToBDDOnFormula enumerates all models of a formula over the given variables and tathers the result in a BDD.
ToBDDOnFormulaWithConfig enumerates all models of a formula over the given variables and gathers the result in a BDD.
ToBDDOnSolver enumerates all models on the given SAT solver over the given variables and gathers the result in a BDD.
ToBDDOnSolverWithConfig enumerates all models on the given SAT solver over the given variables and gathers the result in a BDD.