Hacker GitHub

← All repos

crillab/gophersat

View on GitHub ↗ ★ 390 Go

gophersat, a SAT solver in Go

4 mentions on Hacker News by 3 people: 1 story, 3 comments · first 2017-09-28 · latest 2019-05-10

Mentions per year 4 mentions · busiest year 2017 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …was to provide a SAT solver I can use in my go programs without resorting to cgo black magic. [1] https://github.com/crillab/gophersat
    comment by sacado2 · 2019-05-10 · in Go makes it easier to write correct, clear and efficient code
  2. It would be nice to have some usage hints. Here is the generated godoc: https://godoc.org/github.com/crillab/gophersat/solver
    comment by baby · 2017-09-28 · in Gophersat: A SAT solver written in Go
  3. Tests might be a good place for early pull requests since they hardlink a specific /Users/ path: https://github.com/crillab/gophersat/blob/7f9dbd11144643b0ee...
    comment by carbocation · 2017-09-28 · in Gophersat: A SAT solver written in Go
  4. ▲ 133
    Gophersat: A SAT solver written in Go
    story by sacado2 · 2017-09-28 · 36 comments