Remove CVC5 binary#198

mugdhadhole1 merged 2 commits into

mainbmw-software-engineering/trlc:mainfrom

internal/remove-cvc5-binarybmw-software-engineering/trlc:internal/remove-cvc5-binaryCopy head branch name to clipboard