Versions in this module Expand all Collapse all v0 v0.1.0 Jan 4, 2024 Changes in this version + type Clause []Lit + func NewClause(x []int) Clause + func (c Clause) Int() []int + type Formula []Clause + func NewFormula(x [][]int) Formula + func (f Formula) Int() [][]int + func (f Formula) SortBySize() + type Lit int32 + 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 struct + Clauses int + Formula Formula + Variables int + func ParseDIMAC(r io.Reader) (*Problem, error)
Go to main page