back to root

back to Zipperposition

Avatar proof reconstruction

• Petar Vukmirovic

  2020-04-30 12:57:17 (GMT)

  @Simon Cruanes :

  I have realized that the proof conversion from mSAT to Zip lasts way too long...

  For the short term, I will replace it with just returning SAT clauses that are used in the proof of $\bot$, and not disable recreating the whole proof using SAT resolution steps