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: Main Developer: Cynthia Kop, University of Innsbruck.
Last Update from Star-Exec: 2015-07-31 12:10:09.905607 UTC