Tighter LP lower bounds

src/BUILD

@@ -140,6 +140,32 @@ cc_library(
     ],
 )
 
+cc_library(
+    name = "libtesseract_trellis",
+    srcs = ["tesseract_trellis.cc"],
+    hdrs = ["tesseract_trellis.h"],
+    copts = OPT_COPTS,
+    linkopts = OPT_LINKOPTS,
+    deps = [
+        ":libcommon",
+        ":libutils",
+        "@stim//:stim_lib",
+    ],
+)
+
+
+cc_library(
+    name = "libtesseract_ftl",
+    srcs = ["tesseract_ftl.cc"],
+    hdrs = ["tesseract_ftl.h"],
+    copts = OPT_COPTS,
+    linkopts = OPT_LINKOPTS,
+    deps = [
+        ":libtesseract",
+        "@highs",
+    ],
+)
+
 cc_binary(
     name = "tesseract",
     srcs = ["tesseract_main.cc"],
@@ -153,6 +179,32 @@ cc_binary(
     ],
 )
 
+cc_binary(
+    name = "tesseract_trellis",
+    srcs = ["tesseract_trellis_main.cc"],
+    copts = OPT_COPTS,
+    linkopts = OPT_LINKOPTS,
+    deps = [
+        ":libtesseract_trellis",
+        "@argparse",
+        "@nlohmann_json//:json",
+        "@stim//:stim_lib",
+    ],
+)
+
+cc_binary(
+    name = "tesseract_ftl",
+    srcs = ["tesseract_ftl_main.cc"],
+    copts = OPT_COPTS,
+    linkopts = OPT_LINKOPTS,
+    deps = [
+        ":libtesseract_ftl",
+        "@argparse",
+        "@nlohmann_json//:json",
+        "@stim//:stim_lib",
+    ],
+)
+
 cc_test(
     name = "tesseract_tests",
     timeout = "eternal",