Searched refs:ProduceUnsatCores (Results 1 – 5 of 5) sorted by relevance
107 | ProduceUnsatCores Bool constructor126 isStartModeOption ProduceUnsatCores{} = True function144 isOnlyOnceOption ProduceUnsatCores{} = True function166 cvt (ProduceUnsatCores b) = opt [":produce-unsat-cores", smtBool b]
177 …ProduceUnsatCores{} -> askFor "ProduceUnsatCores" ":produce-unsat-cores" $…643 if or [b | ProduceUnsatCores b <- solverSetOptions cfg]
48 setOption $ ProduceUnsatCores True67 _ <- getOption ProduceUnsatCores
27 setOption $ ProduceUnsatCores True
59 | or [b | ProduceUnsatCores b <- solverSetOptions cfg]