PromotKernel

is the main part of the CommonLisp implementation of ProMoT. It depends on some other Lisp packages and libraries, namely:

TestSuite

A unit testing suite for CommonLisp

FrameDefinitionLanguage

A basic object-oriented model description system.

ClXml?

A XML? library for CommonLisp

LibSbml?

A special Library for reading SystemsBiologyMarkupLanguage

Maxima?

A computer-algebra package which is used for symbolic differentiation.