WIP: rework of naive_solver after discussion with Robbert (!150) · Merge requests · Iris / stdpp

Michael Sammler requested to merge msammler/naive_solver0 into master Apr 22, 2020

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 Apr 22, 2020 by Michael Sammler

WIP: rework of naive_solver after discussion with Robbert

Merge request reports