main :: IO ()
main = tm `setModeWith`
  defaultTctConfig
#ifdef NOTRECOMPILE
    { recompile = False }
#endif
    -- { defaultSolver = Just ("minismt",["-v2","-m", "-neg", "-ib", "4", "-ob", "6"]) }
    { defaultSolver = Just ("yices-smt2",[]) }
main :: IO ()
main = tm `setModeWith`
  defaultTctConfig
#ifdef NOTRECOMPILE
    { recompile = False }
#endif
    -- { defaultSolver = Just ("minismt",["-v2","-m", "-neg", "-ib", "4", "-ob", "6"]) }
    { defaultSolver = Just ("yices-smt2",[]) }
main = tm `setModeWith`
  defaultTctConfig
#ifdef NOTRECOMPILE
    { recompile = False }
#endif
    -- { defaultSolver = Just ("minismt",["-v2","-m", "-neg", "-ib", "4", "-ob", "6"]) }
    { defaultSolver = Just ("yices-smt2",[]) }