[lfsc] Obsoleted by cvc4

[Jerry James]

commit c46ae7d78fc39f0b9190d88f1f1c69de6cd4980b
Author: Jerry James <loganjerry at gmail.com>
Date:   Thu Mar 12 14:15:08 2015 -0600

    Obsoleted by cvc4

 .gitignore            |    1 -
 check.plf             |   14 -
 color_base.plf        |   62 ---
 color_euf.plf         |  103 -----
 dead.package          |    1 +
 euf_interpolation.plf |  287 -------------
 lfsc-exit.patch       |   10 -
 lfsc.1                |   77 ----
 lfsc.spec             |  117 ------
 license.txt           |   15 -
 readme-lfsc.txt       |   83 ----
 sat.plf               |  122 ------
 smt.plf               |  271 ------------
 sources               |    1 -
 th_base.plf           |  135 ------
 th_lra-cvc3.plf       | 1089 -------------------------------------------------
 th_lra.plf            |  482 ----------------------
 th_real.plf           |  153 -------
 18 files changed, 1 insertion(+), 3022 deletions(-)
---
diff --git a/dead.package b/dead.package
new file mode 100644
index 0000000..92e4f1c
--- /dev/null
+++ b/dead.package
@@ -0,0 +1 @@
+Obsoleted by cvc4