update app.py

app.py

@@ -1,8 +1,6 @@
 import os, subprocess, shutil, textwrap
 import gradio as gr
 
-CLI_JAR = "psl-cli-3.0.1.jar"  # <-- use this exact jar name
-
 # --- Utilities ---------------------------------------------------------------
 
 def ensure_java_env():
@@ -99,47 +97,6 @@ def psl_health_check():
         out.append("pslpython import FAILED ❌")
         out.append(repr(e))
 
-    # 4) PSL CLI jar available and working?
-    if os.path.exists(CLI_JAR):
-        out.append(f">>> java -jar {CLI_JAR} --help (first 10 lines)")
-        out.append(run(["bash","-lc",f"java -jar {CLI_JAR} --help | head -n 10"]))
-    else:
-        out.append(f"{CLI_JAR} not found (skip). Add a postBuild to download it if you need CLI.")
-
-    return "\n".join(out)
-
-def psl_toy_infer():
-    ensure_java_env()
-    out = []
-
-    if not os.path.exists(CLI_JAR):
-        return (
-            f"{CLI_JAR} not found in repo root.\n"
-            "Add a postBuild that downloads it, e.g.:\n"
-            "curl -L -o psl-cli-3.0.1.jar "
-            "https://repo1.maven.org/maven2/org/linqs/psl-cli/3.0.1/psl-cli-3.0.1.jar\n"
-        )
-
-    # Clean any previous outputs
-    if os.path.isdir("inferred-predicates"):
-        shutil.rmtree("inferred-predicates", ignore_errors=True)
-
-    write_top_level_files()
-
-    out.append(">>> Running toy inference with PSL CLI")
-    cmd = f"java -jar {CLI_JAR} --infer --model model.psl --data model.data --output ."
-    out.append(f"$ {cmd}")
-    out.append(run(["bash","-lc", cmd]))
-
-    # Show results if produced
-    pred_path = "inferred-predicates/FRIEND.txt"
-    if os.path.exists(pred_path):
-        out.append(f"=== {pred_path} ===")
-        out.append(run(["bash","-lc", f"cat {pred_path}"]))
-    else:
-        out.append("No FRIEND.txt produced. Check the CLI output above for parsing errors.")
-
-    return "\n".join(out)
 
 # --- Gradio UI ---------------------------------------------------------------
 
@@ -147,11 +104,10 @@ with gr.Blocks() as demo:
     gr.Markdown("# PSL setup check & toy inference (top-level files)")
     with gr.Row():
         btn_health = gr.Button("Run health check")
-        btn_demo = gr.Button("Run toy inference")
+
     out = gr.Textbox(lines=32, label="Output", show_copy_button=True)
 
     btn_health.click(fn=psl_health_check, outputs=out)
-    btn_demo.click(fn=psl_toy_infer, outputs=out)
 
 if __name__ == "__main__":
     demo.launch()