// HACK:
public CVC4SMTLIBSolver(bool useNamedAttributes, string pathToSolver, bool persistentProcess, bool emitTriggers, SMTLIBQueryPrinter.Logic logic) :
this(useNamedAttributes, pathToSolver, persistentProcess, emitTriggers)
{
// We should not use DO_NOT_SET because CVC4 complains if no
// logic is set which causes a SolverErrorException to be raised.
if (logic != SMTLIBQueryPrinter.Logic.DO_NOT_SET)
{
LogicToUse = logic;
}
}
// HACK:
public Z3SMTLIBSolver(bool useNamedAttributes, string pathToSolver, bool persistentProcess, bool emitTriggers, SMTLIBQueryPrinter.Logic logic) :
this(useNamedAttributes, pathToSolver, persistentProcess, emitTriggers)
{
LogicToUse = logic;
}
