-
Notifications
You must be signed in to change notification settings - Fork 1
Home
Tomáš Dacík edited this page Aug 15, 2023
·
1 revision
Welcome to the Astral wiki!
Work in progress...
| Command-line option | Default value | Description | Notes |
|---|---|---|---|
| --produce-models | off | ||
| --verify-models | off | ||
| --separation | weak | Semantics of separating conjunction (weak | strong) |
| | | | | | | |