remove whitespace, comments

potassco · Dec 6, 2023 · 326e564 · 326e564
1 parent 2528dd4
commit 326e564
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/examples/hamiltonian.lp b/examples/hamiltonian.lp
@@ -1,4 +1,3 @@
-
 node(1..4). start(1).
 edge(1,2). edge(2,3). edge(2,4). edge(3,1).
 edge(3,4). edge(4,1). edge(4,3).
@@ -9,4 +8,3 @@ reached(V) :- reached(U), hc(U,V).
 :- node(V), not reached(V).
 :- hc(V,U), hc(V,W), U!=W.
 :- hc(U,V), hc(W,V), U!=W.
-% :- hc(V,U), hc(W,V), U!=W. % uncomment to make the program unsatisfiable & comment the line above