Options that appear in the same research papers as SMT-LIB, by co-occurrence.
No alternative data yet for this subject.