gheber 8ea70b812d Updated infrastructure.

* Quicklisp
* DEFINE-CONSTANT macro
* First batch of files compiles w/ SBCL
* Simple regression tests for combinations

2014-12-24 08:16:17 -06:00

Welcome to Kenzo

!!! UNDER CONSTRUCTION !!!

This is a repackaged version of the Kenzo program by Francis Sergeraert and Xavier Dousson. The original version of the program can be found at http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/ .

This version aims to update its infrastructure by providing the following:

Installation via the Quicklisp library manager
A simple regression test suite based on FiveAM (Based on tests scattered throughout the source code in comments.)
Support for SBCL