logicchains/LPATHBench — pull request #29 by lpw25 (2014-12-20 20:32:58+00:00)
Title: Improvements to OCaml version

A couple of small improvements to the OCaml version. Cuts about 40% off the execution time for me.