Release of 2.0.0

Written for VerifyDTAPN by Jiri Srba on 2013-04-30

We are happy to announce the release 2.0.0 of the verifydtapn engine
with time-darts semi-symbolic data structure and PTrie memory optimization
techniques

Read all announcements