solve_proper: be sure to run simpl at least once

4 jobs for master in 7 minutes and 10 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #3744
fp-timing
build-coq8.6

00:04:57

passed #3743
fp-timing
build-coq8.6.1

00:01:55

passed #3742
fp-timing
build-coq8.7

00:02:02

 
  Opam
passed #3745
opam

00:00:13