From 326e564aaab43a7d40153c2555223939331155fe Mon Sep 17 00:00:00 2001 From: Stephan Zwicknagl <64196842+stephanzwicknagl@users.noreply.github.com> Date: Wed, 6 Dec 2023 11:37:58 -1000 Subject: [PATCH] remove whitespace, comments --- examples/hamiltonian.lp | 2 -- 1 file changed, 2 deletions(-) diff --git a/examples/hamiltonian.lp b/examples/hamiltonian.lp index 16c0c654..865957b1 100644 --- 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