search

sat-heritage / docker-images

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
MIT License
38 stars 3 forks source link

satex: support for github docker registry #16

Open pauleve opened 3 years ago

pauleve commented 3 years ago

As an alternative to hub.docker, both for pull and push