Method none

libsmtutil/SolverInterface.h:108–108

	}

	bool none() const noexcept { return !some(); }
	bool some() const noexcept { return cvc5 || eld || smtlib2 || z3; }
	bool all() const noexcept { return cvc5 && eld && smtlib2 && z3; }
};