Merge pull request #533 from vprover/michael-remove-ltb

put LTB and dependencies on hiatus
vprover · Mar 11, 2024 · 46c9403 · 46c9403
2 parents bda3179 + e0b9240
commit 46c9403
Show file tree

Hide file tree

Showing 18 changed files with 10 additions and 3,511 deletions.
diff --git a/CASC/CLTBMode.cpp b/CASC/CLTBMode.cpp
diff --git a/CASC/CLTBMode.hpp b/CASC/CLTBMode.hpp