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