search

jmdha / P7

0 stars 2 forks source link

Fix goal count predicate #384

Closed jmdha closed 1 year ago

jmdha commented 1 year ago

This reinserts the old goal predicate count