You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Timothy Pearson
ee52bb567f
|
12 years ago | |
---|---|---|
.. | ||
src | 12 years ago | |
ChangeLog | 13 years ago | |
Makefile.am | 12 years ago | |
README.packagers | 15 years ago | |
RELEASE-PLAN | 13 years ago | |
TODO | 15 years ago | |
configure.in.bot | 15 years ago | |
configure.in.in | 13 years ago |
README.packagers
For full functionality (equation solver integration) Kalzium depends on Ocaml and the FaCiLe library. The FaciLe library is only used for compilation and for packagers. Ocaml webpage: http://caml.inria.fr/about/index.en.html download: http://caml.inria.fr/download.en.html FaCiLe webpage: http://www.recherche.enac.fr/opti/facile/ download: http://www.recherche.enac.fr/opti/facile/distrib/ If these 2 dependencies are not met, Kalzium will not propose the equation solver in its Tools menu. The Kalzium developers