I'm using cvc5 as a model finder for modal logical problems via embedding to classical first-order logic. I used the modal logical problems of the TPTP problem library for test cases and while cvc5 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback