2
===========================
3
This is a hack on PeTe sources to create a fast untimed engine for TAPAAL.
7
PeTAPAAL is build using a simple makefile, depending on you platform and configuration of it,
8
you might need to modify the makefile in order link correctly against following dependencies:
14
To cross compile for Windows, using mingw32, run `make -f makefile.mingw32`.
18
PeTAPAAL is available under the terms of the GNU GPL versoin 3 or (at your option) any later version.
19
If this license doesn't suit you're welcome to contact us, and purpose an alternative license.
23
* Jonas Finnemann Jensen
24
* Thomas Søndersø Nielsen
25
* Lars Kærlund Østergaard