Skip to content

Version 4.5.1
Compare
Choose a tag to compare
@selig selig released this 15 Jul 10:02
· 3879 commits to master since this release
4.5.1
57a6f78

This is a slight extension of the 4.5 versions submitted to SMTCOMP and CASC in 2020. Both of those submissions (which differed slightly) had issues that have been fixed.

The SMTCOMP submission had unsoundness issues with Datatypes and in an edge case for some integer reasoning. It should not be used.

The CASC submission had some minor issues in applying some inferences that should not impact proof search that much. But more importantly, it had a significant issue in portfolio mode that caused it to give up before the time limit. It is safe to use that version but it is preferred to use 4.5.1.

Finally, please note that for compiling with z3 we have currently tested with commit 5a1003f6ed10fc65a1cbcd2554f183714c413c7c.

Assets 3
Loading