docker-images

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

Fork of sat-heritage/docker-images
Stars: 0
Forks: 0
Open issues: 0

License: None
Language:
Size: 317 KB
Dependencies parsed at: 18

Created at: almost 5 years ago
Updated at: almost 5 years ago
Pushed at: almost 5 years ago
Last synced at: 7 days ago

.github/workflows/docker-push.yml actions

.github/workflows/docker-sync.yml actions

.github/workflows/list.yml actions

base/potato/Dockerfile docker

base/pre-jessie/Dockerfile docker

base/v1/Dockerfile docker

generic/2000/Dockerfile docker

generic/binary-tar/Dockerfile docker

generic/binary-v1/Dockerfile docker

generic/dist-v1/Dockerfile docker

generic/starexec/Dockerfile docker

generic/v1/Dockerfile docker

knuth/Dockerfile docker

setup.py pypi

ecosyste.ms