github.com/operator-framework/operator-lifecycle-manager@v0.30.0/pkg/controller/registry/resolver/solver/doc.go (about) 1 // Package solver implements a general-purpose solver for boolean 2 // constraint satisfiability problems. 3 package solver