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