2cf07e2f

By: Lucien Huber <im@lcnbr.ch>

Continue exact solving after rejected candidates
GitHub
configure