trlc icon indicating copy to clipboard operation
trlc copied to clipboard

Published 20 hours ago • verified publisher icon bmw-software-engineering

Update to PyVCG 1.0.7 and CVC 1.2.0

Open florianschanda opened this issue 6 months ago • 0 comments

This add CVC5 API support on Windows, making the external binary unnecessary.

Because CVC5 packaging changed we now need a special script to fetch it.

We can now also support Python 3.12.

florianschanda avatar Aug 17 '24 14:08 florianschanda