Skip to content
Snippets Groups Projects

alternative implementation of mk_evar that keeps naive_solver working

Passed
Ralf Jung created pipeline for commit 35705c3c
, finished
Related merge request !299 to merge ralf/mk_evar
4 minutes 42 seconds, queued for 6 seconds