Solver-Info of "Wanda"
view original solver-info on star-exec: 1542Name: | 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: | 2015-07-31 12:10:09.905607 UTC |