Files
@ 63d65f7baf18
Branch filter:
Location: CSY/reowolf/testdata/parser/counterexamples/arity_checking.pdl
63d65f7baf18
207 B
text/plain
stuck again in the abstractions, pending rewrite of visitor