1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
Name: smtLib
Version: 1.1
License: BSD3
License-file: LICENSE
Author: Iavor S. Diatchki
Maintainer: iavor.diatchki@gmail.com
Category: SMT
Synopsis: A library for working with the SMTLIB format.
Description: A library for working with the SMTLIB format.
Build-type: Simple
Cabal-version: >= 1.8
Extra-source-files:
LICENSE,
CHANGES
library
hs-source-dirs: src
exposed-modules:
SMTLib1
SMTLib1.QF_BV
SMTLib1.QF_AUFBV
SMTLib2
SMTLib2.Compat1
SMTLib2.Core
SMTLib2.BitVector
SMTLib2.Array
SMTLib2.Int
other-modules:
SMTLib1.AST
SMTLib1.PP
SMTLib2.AST
SMTLib2.PP
build-depends:
base >= 4.5 && < 5,
pretty
GHC-options: -O2 -Wall
source-repository head
type: git
location: git://github.com/yav/smtLib.git
|
