Versions in this module Expand all Collapse all v1 v1.0.1 Jan 25, 2019 v1.0.0 Jan 25, 2019 Changes in this version + func NewS() inter.S + func NewSv() inter.Sv + func NewSvVars(vs *z.Vars) inter.Sv + type Gini struct + func New() *Gini + func NewDimacs(r io.Reader) (*Gini, error) + func NewV(capHint int) *Gini + func NewVc(vCapHint, cCapHint int) *Gini + func (g *Gini) Activate() (m z.Lit) + func (g *Gini) ActivateWith(act z.Lit) + func (g *Gini) ActivationLit() z.Lit + func (g *Gini) Add(m z.Lit) + func (g *Gini) Assume(ms ...z.Lit) + func (g *Gini) Copy() *Gini + func (g *Gini) Deactivate(m z.Lit) + func (g *Gini) GoSolve() inter.Solve + func (g *Gini) Lit() z.Lit + func (g *Gini) MaxVar() z.Var + func (g *Gini) Reasons(dst []z.Lit, m z.Lit) []z.Lit + func (g *Gini) SCopy() inter.S + func (g *Gini) Solve() int + func (g *Gini) Test(dst []z.Lit) (res int, out []z.Lit) + func (g *Gini) Try(dur time.Duration) int + func (g *Gini) Untest() int + func (g *Gini) Value(m z.Lit) bool + func (g *Gini) Why(ms []z.Lit) []z.Lit + func (g *Gini) Write(dst io.Writer) error
Go to main page