Download the CafeOBJ system

CafeOBJ license

CafeOBJ is provided free of charge under the terms of the GNU General Public License version 2 as published by the Free Software Foundation. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY of FITNESS FOR A PARTICULAR PURPOSE.

Latest changes

  • 2011.12.09: Revised binaries of Ver. 1.4.8. (for Mac, Linux, Win) released new
  • 2011.04.25: Revised binaries of Ver. 1.4.8. (for Mac, Win) released
  • 2010.08.30: Revised binaries of Ver. 1.4.8. (for Mac, Win) released
  • 2010.07.14: Revised binaries of Ver. 1.4.8. (for Mac, Win) released
  • 2010.06.30: Revised binaries of Ver. 1.4.8. (for Mac, Win) released
  • 2010.02.28: Revised binaries of Ver. 1.4.8. (for Mac, Win) released
  • 2009.03.02: Revised binaries of Ver. 1.4.8. (for Mac, Win) released
  • 2008.06.06: Revised binaries of Ver. 1.4.8. (for Mac, Win, and Linux) released
  • 2008.04.09: Linux binary Ver. 1.4.8 released
  • 2008.01.08: Ver. 1.4.8 released (only binaries for Win and Mac); New options, for example, a new search command
  • 2007.04.24: Ver. 1.4.7 released (only binaries); New options
  • 2007.01.17: Ver. 1.4.6p10 released (only binaries); New options
  • 2005.11.22: Ver. 1.4.6p5 released; a built-in module EQL for the new equality predicate.
  • 2005.11.15: Ver. 1.4.6p4 released; another equality predicate "_=_" defined as "eq (X = X) = true".

Source code

The source code is written in LISP. You need GCL or ACL or CMUCL or CLISP to compile it.

Binary package

The binary packages are compilied by Allegro Common Lisp.