-
Committer:
Jiri Srba
-
Date:
2017-08-07 19:16:12 UTC
-
mfrom:
(152.32.44 inhib)
-
Revision ID:
srba.jiri@gmail.com-20170807191612-t1z6jtgvmvv1w5t0
merged in the branch lp:~verifypn-stub/verifypn/inhib adding support of stubborn sets
for inhibitor arcs and a number of other fixes and compiles now for windows as well