karamel icon indicating copy to clipboard operation
karamel copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

change z3 version to 4.13.3

Open karthikbhargavan opened this issue 11 months ago • 8 comments

I am sure there may be a better place to put the --z3version but with this change, KaRaMeL works with the latest F* and Z3 4.13.3

karthikbhargavan avatar Dec 25 '24 10:12 karthikbhargavan