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

mergesat:2019 #6

Closed audemard closed 4 years ago

audemard commented 4 years ago

Problem when building