openKylin

libghc-simple-smt-prof 0.9.1-ok1 (amd64 binary) in openkylin yangtze

 This package provides a simple way to interact with an SMT solver process,
 using the SmtLib-2 format.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.

Details

Package version:
0.9.1-ok1
Source:
haskell-simple-smt 0.9.1-ok1 source package in openKylin
Status:
Deleted
Component:
main
Priority:
Optional

Downloadable files

Package relationships

Depends on:
Provides:
  • libghc-simple-smt-prof-0.9.1-52ead