modelator-py icon indicating copy to clipboard operation
modelator-py copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Feature: allow custom JVM arguments for TLC, Apalache

Open danwt opened this issue 2 years ago • 0 comments

Issue created at d989ea4

Suggested location of code that would have to be updated to implement for TLC: here

danwt avatar Mar 29 '22 16:03 danwt