solidity icon indicating copy to clipboard operation
solidity copied to clipboard
verified publisher icon ethereum

SMTChecker: Introduce first draft of Z3CHCSmtlib2Interface

Open blishko opened this issue 1 year ago • 0 comments

This commit introduces the interface class without actually using it. The actual switch will be done later, after all things are set up. This was separated from #15252.

blishko avatar Aug 20 '24 09:08 blishko