Skip to content

Version 4.6
Compare
Choose a tag to compare
@quickbeam123 quickbeam123 released this 04 Oct 14:50
v4.6
a61c29d

This is the 4.6 version submitted to SMTCOMP and CASC in 2021.

For the competitions, we slightly modified the schedules from master taking advantage of new options. This extension of the schedules will probably not propagate to the upcoming 4.6.1, which will represent a stable snapshot of the current master development.

Finally, please note that for compiling with z3 we have currently tested with commit 517d907567f4283ad8b48ff9c2a3f6dce838569e.

Assets 3