mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
6 Commits 2 Branches 0 Tags 5.1 MiB
Common Lisp 99.8%
Dockerfile 0.2%
5ed7133fff
Go to file
gheber 5ed7133fff Converted a few more chain-complexes tests.
2014-12-25 19:57:57 -06:00
doc Source reorg 2014-12-24 04:07:54 -06:00
src All files compile w/ SBCL 2014-12-24 23:08:33 -06:00
test Converted a few more chain-complexes tests. 2014-12-25 19:57:57 -06:00
.gitignore Updated infrastructure. 2014-12-24 08:16:17 -06:00
kenzo-test.asd All files compile w/ SBCL 2014-12-24 23:08:33 -06:00
kenzo.asd All files compile w/ SBCL 2014-12-24 23:08:33 -06:00
kenzo.lisp Updated infrastructure. 2014-12-24 08:16:17 -06:00
package.lisp Converted a few more chain-complexes tests. 2014-12-25 19:57:57 -06:00
README.md Updated infrastructure. 2014-12-24 08:16:17 -06:00

README.md

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:

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