Package Usage: docker: ${BUILDER_BASE}
View more package details: https://packages.ecosystem.code.gouv.fr/registries/hub.docker.com/packages/${BUILDER_BASE}
Dependent Repos 0
crillab/docker-images Fork of sat-heritage/docker-images
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solversSize: 317 KB - Last synced: 1 day ago - Pushed: almost 5 years ago
