CVODE is covered by the license within the cvode-ser-2.2.1.tar.gz archive.
** (Berkeley style license)

TOMS-717 is covered by the license within the toms-717.tar.gz archive.
** (Copyright owned by the Association for Computing Machinery)

HIPM and the examples are copyright (c) 2008 by the Institute for the Study
of Learning and Expertise.  Permissions for use are stated in the LICENSE
files in the corresponding directories.
** (Berkeley style license with citation and copyleft provisions)