Unclear error if backend solver is not installed

nunchaku-inria / nunchaku

Model finder for higher-order logic

https://nunchaku-inria.github.io/nunchaku/

BSD 2-Clause "Simplified" License

42 stars 3 forks source link

Closed blanchette closed 7 years ago

blanchette commented 7 years ago

E.g.

nunchaku --solvers cvc4 foo.nun

if cvc4 is not installed.

Edit: more precisely, should fail if no solver is installed among these which are specified.