Exec produces interactive solver