An OCaml programs to do various things with first order fomulas - View it on GitHub