Linux Mint
My Places
Sign in
Community
Software
Users
Moderation
Beta Testing
ISO Images
Teams
libghc-smtlib-dev
A library for working with the smtlib format.
0
no reviews
Install
this package provides a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.