Ondokuz / libghc-simple-smt-dev

A simple way to interact with an SMT solver process.

•     Debian Haskell Group
•     pkg-haskell-maintainers@lists.alioth.debian.org
•     http://hackage.haskell.org/package/simple-smt
•     0.9.1-1+b2
•     libghc-simple-smt-dev_0.9.1-1+b2_amd64.deb
•     95.8 KiB
•     haskell
•     amd64
•      haskell-simple-smt_0.9.1-1.debian.tar.xz
            haskell-simple-smt_0.9.1-1.dsc
            haskell-simple-smt_0.9.1.orig.tar.gz
•     Debian Versiyonu: 0.9.1-1+b2
•     A simple way to interact with an SMT solver process.

Diğer Pardus sürümlerindeki versiyonlar