ijcar2018-data
Pre-release
Pre-release
·
325 commits
to codatatypes
since this release
Vampire extended to reason about datatypes and codatatypes.
Corresponds to the version used for experiments in the paper "Superposition with Datatypes and Codatatypes"