Categorygithub.com/booleworks/logicng-goexplanationsmus
package
0.4.0
Repository: https://github.com/booleworks/logicng-go.git
Documentation: pkg.go.dev
Overview
Versions
1
Dependencies
4
Dependents
2
Files
121 SLOC

# Functions

Compute computes the SMUS for the given list of propositions modulo some additional constraints.
ComputeForFormulas computes the SMUS for the given list of formulas modulo some additional constraints.
ComputeForFormulasWithHandler computes the SMUS for the given list of formulas modulo some additional constraints.
ComputeWithHandler computes the SMUS for the given list of propositions modulo some additional constraints.