Hi all,I am considering removing support for metaSMT from KLEE. The main reason is that metaSMT hasn't been updated in a long time now -- over a decade, see https://github.com/agra-uni-bremen/metaSMT
However, before I do so, I wanted to ask if anyone is actively using metaSMT (and Boolector via metaSMT in particular).
Best wishes, Cristian _______________________________________________ klee-dev mailing list -- [email protected] To unsubscribe send an email to [email protected]
