Giters
ratioSolver
/
RiDDLe
Rational Domain Definition Language (RiDDLe)
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
1
Issues:
2
Forks:
ratioSolver/RiDDLe Issues
Add predicate relations
Updated
a year ago
Add universal quantifier
Updated
a year ago