ibnyusuf

Adding support for cvc5

2

Upgrading CVC4 support to CVC5. Whilst the APIs are not compatible, there are relatively similar, so the process wasn't too difficult. This PR is **not** ready to merge. The following...

Following from our [discussion on Zulip](https://xi.zulipchat.com/#narrow/stream/260979-kurbo/topic/More.20thoughts.20on.20cubic.20fitting/near/423000088), below are some suggestions for the blog post [Fitting cubic Bézier curves](https://github.com/raphlinus/raphlinus.github.io/blob/main/_posts/2021-03-09-bezier-fitting.md). I am posting them here so that they are not lost, but...

Seg-faulting with integer encoding and z3

3

I am trying to run esbmc on the following benchmark with settings: --ir --smt-formula-only --z3 However, I am receiving a seg fault with stack trace: ``` z3_convt::mk_smt_typecast_sbv_to_fpbv (this=0x64c1f60, from=0x475a730, to=0x64fdb30,...