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. ▲ 133
    Gophersat: A SAT solver written in Go
    story by sacado2 · 2017-09-28 · 36 comments