sneeuwballen/zipperposition

Readme
Issues
Stargazers
Watchers

parse error on Problems/SYO/SYO042^2.p

c-cube opened this issue 5 years ago · 0 comments

c-cube commented 5 years ago

mix of negation in head and argument positions?

Topics

prover superposition ocaml experimental logic computer-science-algorithms prototype induction polymorphism rewriting cnf symbolic-computation saturation

Share to

Contact site admin: Geeks.