]>
2009-07-17 | denes | Branched paramodulation for CNF (Horn clauses) | blob | commitdiff | raw |
2007-04-17 | Enrico Tassi | added generation of hne and heq problems | blob | commitdiff | raw | diff to current |
2006-07-22 | Enrico Tassi | matitaprover | blob | commitdiff | raw | diff to current |