Remove old files that have not been used for a very long time

usi-verification-and-security · Feb 10, 2024 · 6a875a6 · 6a875a6
1 parent 98983ad
commit 6a875a6
Show file tree

Hide file tree

Showing 63 changed files with 0 additions and 22,238 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -85,8 +85,6 @@ include_directories(
     ${CMAKE_SOURCE_DIR}/tsolvers/egraph
     ${CMAKE_SOURCE_DIR}/tsolvers/lasolver
     ${CMAKE_SOURCE_DIR}/tsolvers/stpsolver
-    ${CMAKE_SOURCE_DIR}/tsolvers/lrasolver
-    ${CMAKE_SOURCE_DIR}/tsolvers/liasolver
     ${CMAKE_SOURCE_DIR}/cnfizers
     ${CMAKE_SOURCE_DIR}/pterms
     ${CMAKE_SOURCE_DIR}/logics

diff --git a/KNOWN_BUGS b/KNOWN_BUGS
diff --git a/NEWS b/NEWS
diff --git a/bin/opensmt.C b/bin/opensmt.C
diff --git a/get-python-wrappers.sh b/get-python-wrappers.sh
diff --git a/sample/README b/sample/README
diff --git a/sample/sample.sh b/sample/sample.sh