Fix exact sqrt (#3721)
[cvc5.git] / test / regress / regress0 / ite3.smt2
2010-05-14 Christopher L. ConwayAdding ITE tests