smtSolveDummy.mli is now an alias to smtSolveReal.mli
smtSolveDummy.mli is now an alias to smtSolveReal.mli

olzd/touist,FredMaris/touist,FredMaris/touist,olzd/touist,touist/touist,touist/touist,FredMaris/touist,touist/touist,touist/touist,olzd/touist