engine/third_party/gophersat/README.md (source) - main

main

mosaic / engine / third_party / gophersat / README.md

README.md 265B renderedwrap lines

1Vendored copy of github.com/crillab/gophersat v1.4.0, package `solver`2only (MIT, see LICENSE), with one change: the clause-learning literal3buffer `bufLits` is a per-Solver field instead of a package-level4variable, so solvers can run concurrently in one process.