go-formal/sat

repo for sat solvers