Druplig Proof Checking and Tracing Library

This page provides source code to the Druplig library, which is necessary for the Lingeling SAT solver to check proofs online for testing and debugging but more important also for generating proofs.

[ druplig-009.zip ]