Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security Policy
  
  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

explain

package

Go to main page

Versions in this module

v1

v1.3.1

Apr 28, 2020

v1.3.0

Apr 15, 2020

v1.2.0

Apr 15, 2020

Changes in this version

+ type Options struct

+ Verbose bool

+ type Problem struct

+ Clauses [][]int

+ NbVars int

+ Options Options

+ func ParseCNF(r io.Reader) (*Problem, error)

+ func (pb *Problem) CNF() string

+ func (pb *Problem) MUS() (mus *Problem, err error)

+ func (pb *Problem) MUSDeletion() (mus *Problem, err error)

+ func (pb *Problem) MUSInsertion() (mus *Problem, err error)

+ func (pb *Problem) MUSMaxSat() (mus *Problem, err error)

+ func (pb *Problem) Unsat(cert io.Reader) (valid bool, err error)

+ func (pb *Problem) UnsatChan(ch chan string) (valid bool, err error)

+ func (pb *Problem) UnsatSubset() (subset *Problem, err error)