Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
GNU Lesser General Public License v3.0
108
stars
40
forks
source link
Default value for inverted counters is not set apropriately in initial states in KaDE. #687
Closed
feret closed 5 months ago
Check for instance:
%agent: A(c{=0 / += 2}) 'tick' A(c{<=1}) -> A(c{+=1}) @ 1
%init: 1 A()