Santa

 (logo)

ViewCVS and CVS Help

Current directory:[Cover] / Santa
Files shown:16
File Rev. Age Author Last log entry
(file) .cvsignore   1.1  3 years  koen  apa
(file) Clausify.hs   1.6  2 years  koen  fixed a soundness bug in clausifier
(file) Flags.hs   1.3  3 years  koen  fixed identifier bug
(file) Format.hs   1.1  3 years  koen  apa
(file) Formula.hs   1.2  2 years  patrikj  White-space cleaning - no semantic change
(file) Makefile   1.5  3 years  koen  fixed clausification of $false and $true; fixed printing of empty clauses
(file) Name.hs   1.5  3 years  koen  apa
(file) Output.hs   1.1  3 years  koen  apa
(file) ParseProblem.hs   1.10  2 years  patrikj  White-space cleaning - no semantic change
(file) Parsek.hs   1.1  3 years  koen  apa
(file) Santa.hs   1.6  2 years  patrikj  Just cleaning - no real semantic change
(file) Set.hs   1.3  20 months  kato  added cpp-test for ghc version in Set.hs. Version 6.6 and above no longer suppor...
(file) ShowProblem.hs   1.7  3 years  koen  fixed empty clause in SOS in Otter format
(file) TmpFile.hs   1.5  3 years  koen  fixed clausification of $false and $true; fixed printing of empty clauses
(file) log.txt   1.1  3 years  patrikj  Comments added
(file) os-type   1.2  3 years  koen  apa
Show files using tag:
 
No CVS admin address has been configured
 Powered by
ViewCVS 0.9.2