OK | SMTLib2.Compat1 |
OptAttr | SMTLib2 |
OptDiagnosticOutputChannel | SMTLib2 |
OptExpandDefinitions | SMTLib2 |
OptInteractiveMode | SMTLib2 |
Option | SMTLib2 |
OptPrintSuccess | SMTLib2 |
OptProduceAssignments | SMTLib2 |
OptProduceModels | SMTLib2 |
OptProduceProofs | SMTLib2 |
OptProduceUnsatCores | SMTLib2 |
OptRandomSeed | SMTLib2 |
OptRegularOutputChannel | SMTLib2 |
OptVerbosity | SMTLib2 |
Or | SMTLib1, SMTLib1.QF_BV, SMTLib1.QF_AUFBV |
or | SMTLib2.Core |