4b8f47da · moved write_proof to the appropriate place in order to write to the...

d08b332c · Moved load_order from kissat to BreakID. Made sure proof initialize...

6665a8d0 · writing proof to the same file as BreakID.

6b8764b0 · minor proof logging error fix.

537a172d · minor fix for proof logging.

4ff84c06 · error fix.

0b9283bf · printing only original variables fix.

c328e0c9 · removed hacks for always reading from stdin and reading the origina...

da6adf35 · changed non-binary proofs to pb 2.0 format. Did a hack so that kiss...