Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

gini

package module

Go to main page

Versions in this module

v1

v1.1.0

Aug 18, 2021

Changes in this version

type Gini

+ func (g *Gini) Activate() (m z.Lit)

+ func (g *Gini) ActivateWith(act z.Lit)

+ func (g *Gini) ActivationLit() z.Lit

+ func (g *Gini) Deactivate(m z.Lit)

+ func (g *Gini) Try(dur time.Duration) int

+ func (g *Gini) Write(dst io.Writer) error

v0

v0.9.0

Jun 1, 2018

Changes in this version

+ func NewSvVars(vs *z.Vars) inter.Sv

type Gini

+ func (g *Gini) Lit() z.Lit

v0.8.0

Mar 31, 2018

Changes in this version

+ const Version

+ func NewS() inter.S

+ func NewSv() 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) Add(m z.Lit)

+ func (g *Gini) Assume(ms ...z.Lit)

+ func (g *Gini) Copy() *Gini

+ func (g *Gini) GoSolve() inter.Solve

+ 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) Untest() int

+ func (g *Gini) Value(m z.Lit) bool

+ func (g *Gini) Why(ms []z.Lit) []z.Lit