Improve lambda/pi formatting

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add Import command

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add option declarations. Add Help.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix unused variable warnings

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add prompt when in interactive mode. Fix Show Environment [num]

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add support for READLINE. Remark: it is not enabled by default. Rename tcmalloc option to TCMALLOC (using consistent name convention for cmake parameters).

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Change policy for adding input to readline history.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Improve pretty printer performance for deep formulas and formats with long lines. Add example that demonstrates performance problem (before: 13 secs, after: 1 sec).

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add small trick to improve pretty printer performance. Now, deep.lean takes 0.140secs to be processed.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix bugs in options module. Add more tests.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add format tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add sexpr tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add hierarchical names tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add missing option test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add option_declaration tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add SMT frontend (skeletal)
update smt