|
| attribute |
value |
| name |
Wanda |
| description |
Wanda: a termination tool for higher order term rewriting.
Underlying tools are MiniSat for finding reduction pairs and AProVE to handle the first order part of a higher order problem.
URL: http://wandahot.sourceforge.net/
Main Developer: Cynthia Kop, University of Innsbruck. |
| owner |
Cynthia Kop
|
| uploaded |
2014-06-30 10:09:21.0 |
| disk size |
44.43 MB |
| build status |
uploaded built |
|
