Skip to content

WIP: rework of naive_solver after discussion with Robbert

Michael Sammler requested to merge msammler/naive_solver0 into master

This is a slightly reworked version of naive_solver, which hopefully fails faster. @robbertkrebbers What do you think? What would be other kinds of goals I should try this version on?

Edited by Michael Sammler

Merge request reports