search

iocchi / PetriNetPlans

Petri Net Plans library and applications
31 stars 15 forks source link

use system's `FlexLexer.h` #20

Closed marc-hanheide closed 7 years ago

marc-hanheide commented 7 years ago

closes https://github.com/LCAS/spqrel_tools/issues/32