Pycarl parse

Number independent types

exception pycarl.parse.ParserError(message)

Error which is meant to be raised when the parser throws an error.

pycarl.parse.deserialize(input, package)
Parameters:

input

Returns:

Number dependent types (gmp)

Number dependent types (cln)