haskell-simple-smt 0.9.7-1

Architecture:x86_64
Repository:community
Base Package:haskell-simple-smt
Description:A simple way to interact with an SMT solver process
Upstream URL:https://github.com/yav/simple-smt
License(s):BSD
Package Size:76.8 KB
Installed Size:355.3 KB
Last Packager:Felix Yan
Last Updated:2021-07-01 11:42:37 JST

Dependencies (2)

Required By haskell-simple-smt (1)