Not able to run the pseudo boolean solver at all
I have downloaded the sat solver and pseudo boolean solvers' respective jar files. I am able to run the sat solver on command line and I get the expected output. But, when I give an input parameter(.opb file) to the pseudo boolean solver and try to run the respective jar with the parameter from command line it always gives a parseInstance error. I dont know how to resolve this issue. All help appreciated.