Simon Cruanes

http://fmv.jku.at/cnfuzzdd/

``` [31;1mError: internal error: at file '/home/simon/w/sidekick/tests/QF_UF/20170829-Rodin/smt834303034702425531.smt2': line 15, col 0 to line 16, col 22: unsupported term (! circuit :named hyp1) ``` on `QF_UF/20170829-Rodin/smt834303034702425531.smt2`

replace `preprocess_lit` by `preprocess_term`, and hook that up into the CC itself. This is necessary when other theories produce new terms that contain boolean connectives.

perf: use a monomorphic impl for CCMonomorphic.{min,max}

6

close #452

wip, do not merge yet

t_fib1 has been too flaky for too long. Time to move on.

make Key.t unboxed to save memory

5

This should save 2 words per map entry.

support for carray?

1

https://sqlite.org/carray.html looks to be the best way to parametrize queries/run statements with a variadic number of arguments. For example, a `select x from y where z in ()`. It seems...