GitHub repository: sat-heritage/docker-images
Primary language: Python
Created: 2020-02-21T09:11:59Z
Description: SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers