libghc-smtlib-doc

A library for working with the smtlib format.; documentation
 
  0
  no reviews





this package provides the documentation for a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.