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

Fix lingeling:2014 #17

Closed pauleve closed 3 years ago

pauleve commented 3 years ago

In proof mode, lingeling:2014 was set using --drupligtrace option, however, it is unknown by the program.

This PR removes this unknown option, but it would be great to double check the command.

The command used in non-proof mode is ./lingeling -v --witness FILECNF

In non-proof mode (fixed): ./lingeling -v --druplig FILECNF