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-08-21 10:22:49.028311 UTC |