search

inpefess / gym-saturation

a collection of Gymnasium environments for saturation provers
Apache License 2.0
19 stars 2 forks source link

Support Vampire 4.9 #126

Open inpefess opened 4 weeks ago

inpefess commented 4 weeks ago

Vampire 4.9 was released on 2024-07-12 https://github.com/vprover/vampire/releases/tag/v4.9casc2024