This software is released under the BSD-3 license, see LICENSE.TXT. If you are using the KPC-Toolbox for scientific papers or technical reports, please consider citing the following publications: [1] ...