]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65e1aa0) | patch
Implemented orphan murder test (clauses are not discarded for now)
authordenes <??>
Fri, 26 Jun 2009 09:46:23 +0000 (09:46 +0000)
committerdenes <??>
Fri, 26 Jun 2009 09:46:23 +0000 (09:46 +0000)
commit2701c980f48541dd5e8317b5a5661b439ced8b29
tree6a7dd7a8506527cd9bb2254351c1dc9d50162b9btree | snapshot
parent65e1aa022da79a3a880f5c2d5d0d512b80e50635commit | diff
Implemented orphan murder test (clauses are not discarded for now)
Re-enabled zero weight trick
helm/software/components/ng_paramodulation/paramod.ml diff | blob | history
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
helm/software/components/ng_paramodulation/superposition.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.