cnf

README

cnf

CNF and DIMACS in Go. Inspired by mitchellh/go-sat.

Documentation

Index

• type Clause
  • func NewClause(x []int) Clause
  • func (c Clause) Int() []int
• type Formula
  • func NewFormula(x [][]int) Formula
  • func (f Formula) Int() [][]int
  • func (f Formula) SortBySize()
• type Lit
  • func NewLit(v int) Lit
  • func (l Lit) Int() int
  • func (l Lit) Neg() Lit
  • func (l Lit) Sign() bool
  • func (l Lit) String() string
  • func (l Lit) Var() int
• type Problem
  • func ParseDIMAC(r io.Reader) (*Problem, error)

Types

type Clause

type Clause []Lit

func NewClause

func NewClause(x []int) Clause

func (Clause) Int

func (c Clause) Int() []int

type Formula

type Formula []Clause

func NewFormula

func NewFormula(x [][]int) Formula

func (Formula) Int

func (f Formula) Int() [][]int

func (Formula) SortBySize

func (f Formula) SortBySize()

type Lit

type Lit int32

func NewLit

func NewLit(v int) Lit

func (Lit) Int

func (l Lit) Int() int

func (Lit) Neg

func (l Lit) Neg() Lit

func (Lit) Sign

func (l Lit) Sign() bool

func (Lit) String

func (l Lit) String() string

func (Lit) Var

func (l Lit) Var() int

type Problem

type Problem struct {
	Variables int
	Clauses   int
	Formula   Formula
}

func ParseDIMAC

func ParseDIMAC(r io.Reader) (*Problem, error)