1. Dmitry Grebeniuk
  2. ocaml-logicm

Source

ocaml-logicm / tests_common.ml