dimacs

package

v0.3.0 Latest Latest Go to latest Published: Dec 11, 2023 License: Apache-2.0 Imports: 13 Imported by: 0

Details

This section is empty.

This section is empty.

func GenerateVariables(dimacs *Dimacs) ([]deppy.Variable, error)

func NewDimacsCommand() *cobra.Command

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