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

# 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.