ghc-smtLib
A library for working with the SMTLIB format
A library for working with the SMTLIB format.
Não existe pacote oficial disponível para openSUSE Leap 16.0Distribuições
Distribuições não suportadas
As distribuições a seguir não são oficialmente suportadas. Use esses pacotes por sua conta e risco.