src/HOL/Tools/SMT/cvc4_interface.ML
2014-09-17 blanchet 2014-09-17 added interface for CVC4 extensions