go-minisat

Golang binding for minisat.

Installation

Install minisat

Arch linux

$ yaourt -S minisat-git

Other

$ git clone https://github.com/niklasso/minisat
$ cd minisat
$ make config prefix="/usr"
$ make
$ sudo make install

Install go-minisat

$ go get github.com/pocke/go-minisat

Usage

package main

import (
  "github.com/pocke/go-minisat"
)

func main() {
  s := minisat.NewSolver()
  v1 := minisat.NewVar()
  v2 := minisat.NewVar()
  s.AddClause(v1, v2)
  s.AddClause(v1, v2.Not())
  s.AddClause(v1.Not(), v2.Not())
  s.Solve()  // => true

  s.ModelValue(v1)  // => true, nil
  s.ModelValue(v2)  // => false, nil
}

Example

• sudoku-solver

License

Copyright © 2015 Masataka Kuwabara Licensed MIT