CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
daabbc9a
, finished
Related merge request !429 to merge robbert/naive_solver_evars
4 minutes 35 seconds, queued for 3 seconds