Unverified Commit 390f0dd1 authored by Miroslav Kratochvil's avatar Miroslav Kratochvil
Browse files

clean up `is_solved` use in FVA

parent 3c242e81
Pipeline #42194 passed with stages
in 12 minutes and 27 seconds