Please select which file you would like to download:
WARNING!: The Java versions of PLAN are not actively supported. The OCaml version is more robust, faster, more flexible, and better documented. We highly suggest using the OCaml version. Really.
Java class files:
Java source (class files not included):
(Both of these options contain the documents and sample programs.)
You can also see a list of all the back versions here.
Back to the PLAN software page.