disable smtrat for now

Former-commit-id: 4f63d4cd05
9 years ago · f65efdb4bb
1 changed files with 1 additions and 1 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@ -98,7 +98,7 @@ if(USE_CARL)
     set(STORM_HAVE_CARL ON)
    endif()

-    find_package(smtrat QUIET)
+    #find_package(smtrat QUIET)
    if(smtrat_FOUND)
        set(STORM_HAVE_SMTRAT ON)
    endif()