Parallel extensions to SPOT (http://github.com/mpf/spot) You may use this code only under the conditions and terms of the license contained in the file COPYING.txt provided with this source code. If you do not agree to these terms you may not use this software.