options.md

SolverPy Options

• An option is identified by its string name, and represents a boolean yes/no value.
• Put the option name into the string list under the key"options" in the setup.
• Use no-option, like no-compress, to set the option to no

option	description	default
outputs	Keep raw solver output files from all runs.	no
compress	Compress output files (outputs, trains, results).	yes
flatten	Put all output files in a single directory (replace / with _._).	yes
compress-trains	Compress trains.	yes
debug-trains	Dump training data for each file separately.	no
proofs	Store proof objects in the database.	no
premises	Store premise selections in the database.	no
headless	Suppress progress bars and interactive UI (for non-terminal use).	no