Some information on logic choice when using -smt2
Some information on logic choice when using -smt2

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