package
0.4.0
Repository: https://github.com/booleworks/logicng-go.git
Documentation: pkg.go.dev

# Functions

Count computes the model count for the given formulas (interpreted as conjunction) and a set of relevant variables.
CountWithHandler computes the model count for the given formulas (interpreted as conjunction) and a set of relevant variables.
OnFormula counts all models of a formula over the given variables.
OnFormulaWithConfig counts all models of a formula over the given variables.
OnSolver counts all models on the given SAT solver over the given variables.
OnSolverWithConfig counts all models on the given SAT solver over the given variables.