fix(CDCL): Semantic splits are always relevant

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

126 stars 33 forks source link

Closed bclement-ocp closed 2 months ago

bclement-ocp commented 2 months ago

Restore semantic splitting functionality introduced in #1027 and broken by #1041.