CafeOBJ 1.6.2 released

We have released a new version of CafeOBJ, which incorporates various fixes for PTcalc (formerly CITP), see further down for detailed changes.

This release 1.6.2 provides a public release of the internal release 1.6.1. It also brings a switch away from providing ACL based builds, since the SBCL based builds are more stable and completely open-source based.

Detailed changes:

• make a public release of the internal version 1.6.1
• change grouping of operators.
• :init makes a new goal
• Optimize introduced axiom
• :init command behaves like :defined one
• Fix wrong contradiction check
• Fix :init as <Label> causes exception
• Fix diagnostic messages of regularity check.

Please see the download page for the source release, binary packages, and installation instructions.

Please report bugs to our Github project issue page.