Nitpick/Kodkod may be invoked directly within the running Isabelle/Scala session
HOL
- Nitpick/Kodkod may be invoked directly within the running Isabelle/Scala session (instead of an external Java process): this improves reactivity and saves resources. This experimental feature is guarded by system option kodkod_scala (default: false).
This refers to Isabelle/5c057abc1b78.
- Projects
- None
- Subscribers
- None