solver

package

v0.2.0 Latest Latest Go to latest Published: Nov 27, 2023 License: Apache-2.0 Imports: 10 Imported by: 0

Details

Package solver implements a general-purpose solver for boolean constraint satisfiability problems.

This section is empty.

View Source

var ErrIncomplete = errors.New("cancelled before a solution could be found")

This section is empty.

type DefaultTracer struct{}

func (DefaultTracer) Trace(_ deppy.SearchPosition)

type DuplicateIdentifier deppy.Identifier

func (e DuplicateIdentifier) Error() string

type LoggingTracer struct {
	Writer io.Writer
}

func (t LoggingTracer) Trace(p deppy.SearchPosition)

type Option func(s *solver) error

func WithInput(input []deppy.Variable) Option

func WithTracer(t deppy.Tracer) Option

type Solver interface {
	Solve() ([]deppy.Variable, error)
}

func NewSolver(options ...Option) (Solver, error)