Skip to content

Vampire 4.8
Compare
Choose a tag to compare
@quickbeam123 quickbeam123 released this 12 Jul 16:51
v4.8casc2023
8d999c1

This is the 4.8 version submitted to CASC in 2023.

NOTE: This release has only been optimized for the Starexec cluster and does not represent the full capabilities of Vampire. It will be followed up by a full-fledged version in the near future.

There were new schedules developed for FOF, TFA, and UEQ accessible under --mode casc and one new schedule for FNT under --mode casc_sat.

Linked with z3 6ed071b44407cf6623b8d3c0dceb2a8fb7040cee z3-4.9.1

Assets 3
Loading