Version 4.7
This is the 4.7 version submitted to SMTCOMP and CASC in 2022.
No major differences to the competition schedules compared to 2021.
Linked with z3 f03d756e086f81f2596157241e0decfb1c982299.
This is the 4.7 version submitted to SMTCOMP and CASC in 2022.
No major differences to the competition schedules compared to 2021.
Linked with z3 f03d756e086f81f2596157241e0decfb1c982299.