Cannot run

[theowgp]

I am running the command:

./helga.out ../../graphs/hc-4.col "../../solvers/lingeling/plingeling in.txt"
And then I get some output:

parsing graph from file into adjacency matrix
constraint (3) FINISHED (from 1 to -2)
constraint (1) finished
constraint (2) finished
constraint (4) finished
constraint (5) finished
constraint (6) finished
INFO - writing results to file
INFO - starting solver with provided command
SUCCESS - solver finished and returned result
s SATISFIABLE

but no path itself.
Am I doing something wrong?

[codemunin]

Which version of helga?

First thought: your missing some constrains.
How is your in.txt looking?

[theowgp]

I am using helga_sequentialPB.
The file in.txt looks like this:
p cnf 0 0

Looks like a problem with the encoder:(

[codemunin]

Please run it from the root directory and make sure the path to the graph is right.

[theowgp]

Did it from from the root folder, the same result
computer@user:~/Apps/HCPtoSAT (master) $ ./encoders/helga_sequentialPB/helga.out ./graphs/hc-4.col "./solvers/lingeling/plingeling in.txt"

[theowgp]

no matter where I run it from the same problem:(

[codemunin]

Okay and are you able to run a non PB Version?

I tried the code myself. The in.txt shloudn't be empty.

[theowgp]

helga_sequentialPB was the only solver that did not throw an error message after calling make when I was installing the thing

[codemunin]

I fixed the most used Version ("helga-multi") without pb-lib for you. Pls try this out. I will try to fix the other versions as soon as possible.

Run with:
./encoders/helga_multi/helga.out graphs/hc_4.col "solvers/lingeling/plingeling in.txt"

[theowgp]

Hey, looks like it works!

Danke!

[codemunin]

I will try to update the other non PB version, too.
No Problem.