Data shown here is incomplete. This page will refresh with updates pulled from star-exec.
Solver-Info of "Wanda"
view original solver-info on star-exec:
1542
| 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. |
| Last Update from Star-Exec: |
2017-08-16 13:09:43.593512 UTC |