search

TAPAAL / verifytapn

VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.
https://www.tapaal.net
GNU General Public License v2.0
1 stars 4 forks source link

Options parsing #15

Closed petergjoel closed 2 years ago

petergjoel commented 2 years ago

Moved to boost options parsing.

Also changed compilation to use purpose-built boost, sparsehash etc. instead of using system installed.

yrke commented 2 years ago

Merged into https://github.com/TAPAAL/verifytapn/pull/14