simplify deduce code
efficient vector implementation
use new Vector in watched literals
solver on formula
add contributor
isDigit utils
sexpr literals in any radix
lexing symbols correctly
smtlib symbols are caps
parse qualified symbols
correct parsing of qualified symbols
parse set-info
parsing push and pop
todo