Index of /~avg/ProofChecker/CheqTaut

 Name                    Last modified      Size  Description
 qdpllexp_20.qdimacs     2011-03-04 08:49  2.2K  
 qdpllexp_20.proof       2011-03-04 11:49  2.8K  
 qdpllexp_2.qdimacs      2011-03-04 08:49  423   
 qdpllexp_2.proof        2011-03-04 09:22  619   
 qdpllexp_1.qdimacs      2011-03-10 15:18  333   
 qdpllexp_1.proof-new..> 2012-06-26 08:16  438   
 qdpllexp_1.proof-int..> 2012-06-26 09:27  1.1K  
 qdpllexp_1.proof        2011-03-10 15:29  497   
 cheq_checker_qube_ce..> 2011-01-25 19:25  7.0K  
 README-cheq             2011-03-10 15:33  1.3K