/docker-images

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

Primary LanguagePythonMIT LicenseMIT

Watchers