more reactive kodkod execution: avoid confusion about timeout/deadline;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE319dd5c618a5: allow Scala function execution on separate thread: better reactivity, but…
- Branches
- Unknown
- Tags