Data shown here is incomplete. This page will refresh with updates pulled from star-exec.

Solver-Info of "MultumNonMulta 3.6"

view original solver-info on star-exec: 9343

Name:	MultumNonMulta 3.6
Description:	Termination prover for string rewriting.
Last Update from Star-Exec:	2017-08-07 12:20:06.475802 UTC