alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard
verified publisher icon OCamlPro

Support optimization for the BV theory

Open Halbaroth opened this issue 2 years ago • 2 comments

Halbaroth avatar Oct 13 '23 12:10 Halbaroth

What do we need that was not in #841 ?

bclement-ocp avatar Oct 13 '23 12:10 bclement-ocp

I forgot to put optimization in the title ;)

Halbaroth avatar Oct 13 '23 12:10 Halbaroth