finished textual interface for show-decisions

potassco · Jun 4, 2024 · 54475bd · 54475bd
1 parent a06ce44
commit 54475bd
Show file tree

Hide file tree

Showing 5 changed files with 335 additions and 181 deletions.
diff --git a/examples/misc/sat_simple.lp b/examples/misc/sat_simple.lp
@@ -0,0 +1,9 @@
+num(1..4).
+{a(1..4)}.
+
+b(X) :- num(X), not a(X).
+
+c(X+Y) :- a(X), b(Y).
+
+:- a(X), a(X+1).
+:- not b(4).
diff --git a/src/clingexplaid/__main__.py b/src/clingexplaid/__main__.py
@@ -11,7 +11,7 @@
 from .cli.textual_gui import textual_main
 from .propagators import SolverDecisionPropagator
 
-RUN_TEXTUAL_GUI = False
+RUN_TEXTUAL_GUI = True
 
 
 def main() -> None: