ghc-smtLib
A library for working with the SMTLIB format
A library for working with the SMTLIB format.
Non è disponibile alcun pacchetto ufficiale per openSUSE Leap 16.0Distribuzioni
Distribuzioni non supportate
Le seguenti distribuzioni non sono ufficialmente supportate. Usare questi pacchetti a proprio rischio.