What is Pure FreshML?

Here is the source code. This is an early prototype,
without documentation; it is provided only as a means of reproducing the experiments
described in the paper. It requires OCaml and
a SAT solver (by default, relsat, but zchaff can also be used).
Installation requires omake. A more polished prototype, with a simpler
installation process, will be made available in the future.