]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/paramodulation/saturate_main.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aaa8de0) | patch
added function saturate_equations that tries to infer as many equations as possible...
authorAlberto Griggio <griggio@fbk.eu>
Mon, 5 Dec 2005 12:32:06 +0000 (12:32 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Mon, 5 Dec 2005 12:32:06 +0000 (12:32 +0000)
commit67165a0c7b9141667a4c604d30c14ed33d73c726
tree978aa5ff2573e1059af49bd69f528fc798c27ee5tree | snapshot
parentaaa8de04bb771bb61116f1b3f2e6d2e36a326e9bcommit | diff
added  function saturate_equations that tries to infer as many equations as possible within the time limit
helm/ocaml/paramodulation/saturate_main.ml diff | blob | history
helm/ocaml/paramodulation/saturation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.