dimacs

package

v0.1.0 Latest Latest Go to latest Published: Nov 16, 2023 License: Apache-2.0 Imports: 14 Imported by: 0

Details

This section is empty.

This section is empty.

func NewDimacsCommand() *cobra.Command

type ConstraintGenerator struct {
	// contains filtered or unexported fields
}

func NewDimacsVariableSource(dimacs *Dimacs) *ConstraintGenerator

func (d *ConstraintGenerator) GetVariables(_ context.Context) ([]deppy.Variable, error)

type Dimacs struct {
	// contains filtered or unexported fields
}

Dimacs constrains the variables and clauses that make up a CNF problem described in DIMACS format see: https://logic.pdmi.ras.ru/~basolver/dimacs.html

func NewDimacs(dimacsReader io.Reader) (*Dimacs, error)

NewDimacs creates a Dimacs struct with the values parsed from the DIMACS formatted stream afforted by dimacsReader

func (d *Dimacs) Clauses() []string

func (d *Dimacs) Variables() []string