HomeIsabelle/Phabricator

added support for cvc5 (whose interface is almost identical to CVC4)