Open cp526 opened 1 month ago
Once Cerberus and CN are sufficiently decoupled we should drop CN's dependency on the z3 opam package, in favour of running a downloaded binary, to speed up compilation times.
Depends on https://github.com/rems-project/cerberus/issues/308
dc-mak
commented
1 month ago
Once Cerberus and CN are sufficiently decoupled we should drop CN's dependency on the z3 opam package, in favour of running a downloaded binary, to speed up compilation times.