ghc-smtLib
A library for working with the SMTLIB format
A library for working with the SMTLIB format.
Для openSUSE Leap 16.0 нет официального пакетаДистрибутивы
Неподдерживаемые дистрибутивы
Следующие дистрибутивы не имеют официальной поддержки. Используйте их пакеты на свой страх и риск.