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

• cafeobj-1.4.8p22.tgz, 2010.08.30

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

Binary package

• Mac OS X (How to install)
  • CafeOBJ 1.4.8 p33 (only for Intel) 2011.12.9 new
  • CafeOBJ 1.4.8 p30 (only for Intel) 2011.4.25
  • CafeOBJ 1.4.8 p22 (only for Intel) 2010.8.30
  • CafeOBJ 1.4.8 p19 (only for Intel) 2010.7.14
  • CafeOBJ 1.4.8 p16 (only for Intel) 2010.6.30
  • CafeOBJ 1.4.8 (only for Intel) 2009.3.2
  • CafeOBJ 1.4.7 (only for Intel) 2007.4.24
  • CafeOBJ 1.4.6p10 2007.1.17
  • CafeOBJ 1.4.6p5 2005.11.30
• Windows (How to install)
  • CafeOBJ 1.4.8 p33 (tested on Windows 7), 2011.12.9 new
  • CafeOBJ 1.4.8 p33 (tested on Windows XP), 2011.12.9 new
  • CafeOBJ 1.4.8 p30, 2011.4.25
  • CafeOBJ 1.4.8 p22, 2010.8.30
  • CafeOBJ 1.4.8 p19, 2010.7.14
  • CafeOBJ 1.4.8 p16, 2010.6.30
  • CafeOBJ 1.4.8, 2009.3.2
  • CafeOBJ 1.4.7, 2007.04.24
  • CafeOBJ 1.4.6p10, 2007.01.17
  • CafeOBJ 1.4.6p5, 2005.11.24
  • CafeOBJ 1.4.5
• i386-linux
  • CafeOBJ 1.4.8 p33, 2011.12.9 new
  • CafeOBJ 1.4.8 p30, 2011.4.25
  • CafeOBJ 1.4.8 p22, 2010.8.30
  • CafeOBJ 1.4.8 p19, 2010.7.14
  • CafeOBJ 1.4.8 p16, 2010.6.30
  • CafeOBJ 1.4.8, 2008.6.6
  • CafeOBJ 1.4.7, 2007.4.24
  • CafeOBJ 1.4.6p10, 2007.1.17
  • CafeOBJ 1.4.6p5, 2005.11.22

The binary packages are compilied by Allegro Common Lisp.