← Back to branch summary

~verifypn-cpn/verifypn/colored

« back to all changes in this revision

Viewing changes to README.mkd

  • Committer: Jonas Finnemann Jensen
  • Date: 2011-09-15 13:30:00 UTC
  • Revision ID: jopsen@gmail.com-20110915133000-wnywm1odf82emiuw
Import of sources from github

Show diffs side-by-side

added added

removed removed

Lines of Context:
README.mkd
 
1
PeTAPAAL
 
2
===========================
 
3
This is a hack on PeTe sources to create a fast untimed engine for TAPAAL.
 
4
 
 
5
Building PeTAPAAL
 
6
-------------
 
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: 
 
9
 
 
10
  * GNU Bison (>= 2.4)
 
11
  * flex (>= 2.5)
 
12
  * lp_solve (>= 5.5)
 
13
 
 
14
To cross compile for Windows, using mingw32, run `make -f makefile.mingw32`.
 
15
 
 
16
License
 
17
-------
 
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.
 
20
 
 
21
Authors
 
22
-------
 
23
  * Jonas Finnemann Jensen
 
24
  * Thomas Søndersø Nielsen
 
25
  * Lars Kærlund Østergaard