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

# Functions

ComputeDeletionBased computes a MUS using the deletion-based algorithm.
ComputeDeletionBasedWithHandler computes a MUS using the deletion-based algorithm.
ComputeInsertionBased computes a MUS using the insertion-based algorithm.
ComputeInsertionBasedWithHandler computes a MUS using the insertion-based algorithm.