4.0.0 tools.aqua cvc5-turnkey 1.2.0 cvc5-TurnKey TurnKey artifact for cvc5 https://github.com/tudo-aqua/cvc5-turnkey The 3-Clause BSD License https://opensource.org/license/BSD-3-Clause The MIT License https://opensource.org/licenses/MIT GNU Lesser General Public License v3.0 or later https://www.gnu.org/licenses/lgpl-3.0.en.html Simon Dierl simon.dierl@tu-dortmund.de AQUA Group, Department of Computer Science, TU Dortmund University https://aqua.engineering/ scm:git:https://github.com:tudo-aqua/cvc5-turnkey.git scm:git:ssh://git@github.com:tudo-aqua/cvc5-turnkey.git https://github.com/tudo-aqua/cvc5-turnkey/tree/main tools.aqua turnkey-support 1.0.0 runtime