Hello everyone,
Some friend from Bordeaux, Nicolas Bonichon, recently brought up this initiative to my attention: https://github.com/sat-heritage/docker-images
This is a community-driven effort for archiving, building and running SAT solvers.
Hello everyone,
Some friend from Bordeaux, Nicolas Bonichon, recently brought up this initiative to my attention: https://github.com/sat-heritage/docker-images
This is a community-driven effort for archiving, building and running SAT solvers.