Proof logging file format

[rmfalves]

Hello

I am afraid this may be an elementary question, but how can i decode the data in the unsat core file generated by the Minisat-p version?

Is there any documentation available about this?

Thanks in advance

Rui

[Mate Soos]

Hi,

On 04/26/2013 06:45 PM, rmfalves wrote:
> I am afraid this may be an elementary question, but how can i decode the
> data in the unsat core file generated by the Minisat-p version?
> Is there any documentation available about this?

I believe this could help:

http://www.cs.utexas.edu/~marijn/drup/

Mate