Giters
chaudhuri
/
maetning
Disproving false theorems using saturation
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
3
Issues:
7
Forks:
chaudhuri/maetning Issues
Problems to take a look at
Updated
9 years ago
Occurs check test done too early
Closed
10 years ago
Strange behaviour with quantifiers and negation.
Closed
10 years ago
Invalid EV collapse
Closed
10 years ago
SYN053+1.mg makes maetning hang unexpectedly.
Closed
10 years ago
Comments count
2
Rules that create new variables break saturation
Closed
10 years ago
Comments count
1
Quiescence issue with new_rules
Closed
10 years ago