search

GillianPlatform / Gillian

The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73 stars 11 forks source link

Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency #303

Closed NatKarmios closed 1 month ago

NatKarmios commented 1 month ago

The big kahuna!