module lang::smtlib2::command::response::Parse
rascal-0.34.0
Synopsis: Parse the response that a SMT solver returns
Usage
import lang::smtlib2::command::response::Parse;
Dependencies
import lang::smtlib2::command::response::Syntax;
import ParseTree;
function parseResponse
Response parseResponse(str response)