Please note that some parts of the source code are not GPL
licensed (see dplimit1.cc and dplimit1.h). This may change
in future releases. 