smt2_solver: arrays#3521

Merged

kroening merged 3 commits intodevelopfrom

smt2_solver_arrays

Dec 3, 2018

Commits on Dec 3, 2018

smt2_solver: catch analysis_exceptiont
Daniel Kroening
committed
smt2_parser: implemented define-const
Daniel Kroening
committed
smt2_solver: implement array operators
Daniel Kroening
committed