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

bf

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

v1.1.8

Jun 20, 2019

v1.1.7

Apr 12, 2019

v1.1.6

Mar 26, 2019

v1.1.5

Feb 22, 2019

Changes in this version

type Formula

+ Eval func(model map[string]bool) bool

v1.1.4

Jun 4, 2018

v1.1.3

Mar 2, 2018

v1.1.2

Mar 1, 2018

v1.1.1

Feb 25, 2018

v1.1.0

Feb 23, 2018

v1.0.3

Feb 14, 2018

v1.0.2

Feb 9, 2018

v1.0.1

Jan 15, 2018

v1.0.0

Dec 20, 2017

Changes in this version

+ func Dimacs(f Formula, w io.Writer) error

+ func Solve(f Formula) map[string]bool

+ type Formula interface

+ String func() string

+ var False Formula = falseConst{}

+ var True Formula = trueConst{}

+ func And(subs ...Formula) Formula

+ func Eq(f1, f2 Formula) Formula

+ func Implies(f1, f2 Formula) Formula

+ func Not(f Formula) Formula

+ func Or(subs ...Formula) Formula

+ func Parse(r io.Reader) (Formula, error)

+ func Unique(vars ...string) Formula

+ func Var(name string) Formula

+ func Xor(f1, f2 Formula) Formula