CADGen is a prototype implementation of a code generator based on cylindrical algebraic decomposition.
The current release (released 2009-09-30) is version 0.1: cadgen-0.1.tar.gz Please note that CADGen is a part of HsLooPo (the Haskell modules for LooPo); therefore, the CADGen source release includes some source code which is compiled during installation but not used by CADGen.
Documentation (including build instructions): cadgen-0.1-manual.pdf
To build/use CADGen, the following software is needed:
- Glasgow Haskell Compiler (GHC), version 6.8.x or 6.10.x
- Alex scanner generator and Happy parser generator for Haskell
- Reduce computer algebra system (with Redlog package)
- QEPCAD B.1.50 or later
Note that GHC, Alex and Happy are packaged with some Linux distributions. For example, in Ubuntu 9.04 they can be installed with
apt-get install alex happy ghc6 libghc6-parsec-dev
(HsLooPo needs the Text.ParserCombinators.Parsec Haskell modules).
For your convenience, the following binary packages (32-bit i686 Linux) can be downloaded from here. The binaries should run on 64-bit x86_64 Linux, too.
- reduce-i686-pc-debian4.0-20090226.tar.bz2, provided by https://sourceforge.net/projects/reduce/. The executable is simply called reduce.
- qepcad-B.1.53-i686.tar.gz, compiled on Ubuntu 9.04. To call QEPCAD, use the script qepcad in the main directory (not the executable in the bin/ subdirectory); this script sets the environment variable needed by bin/qepcad before calling it.
For questions, suggestions, bug reports etc. please contact Armin Größlinger: armin.groesslinger (a) uni-passau.de