Giters

kframework / matching-logic-prover

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

isFOLPattern

h0nzZik opened this issue · comments

commented

The SMT strategies should not use isPredicatePattern, but should use isFOLPattern (that we need to create).