dots-noark5-core This software and its documentation are distributed under the terms of the GNU Lesser General Public License v3.0.