ASCII proof traces for MiniSat (2006)

by John Matthews