Configuration

Jump to bottom

J. George Rautenbach edited this page Jan 28, 2021 · 1 revision

Supported config

Config key	Valid values	Notes
`solver`	`sat4j`	Only one solver supported at this time.

Format

config key="value"