[SMT-LIB] SMT Kit: C++11 library for many-sorted logics

[Alex Horn]

Dear all,

I've been using SMT solvers for research into new symbolic concurrency
analysis techniques. Naturally, the need arose to consider various SMT
solvers and this, in turn, motivated SMT Kit, a C++11 library for
many-sorted logics. I mention this because the library turned out to
be useful for experimental research and perhaps there are others on
this mailing list who can benefit from it.

The source code and docs are online:

  http://ahorn.github.io/smt-kit/

Any feedback or thoughts are always welcome.

With kind regards,
Alex