Open Tutu-Z opened 11 months ago
Hi, It has been quite some time since I did this project, but you are welcome to mail some specific questions/examples to me on asger.kjeldsen1@gmail.com
I vaguely remember some conversion issues similar to what you are describing, but it has been a while :)
Sorry for the late reply, Asger
First of all, thank you very much for your paper “Applied Presolve Reductions in Pseudo-Boolean Solving ”, which introduces the related work on pseudo-Boolean solving and pseudo-Boolean optimization in detail.I tried to use the tool ‘PresolveOpb’ proposed in your paper to presolve the opb file, and then obtained the original solution through the solution file obtained by the solver roundingsat and the postsolve file.The problem I encountered is that the original solution obtained after conversion does not correspond to the known correct solution.Therefore, I would like to contact you to inquire about some advice.