Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 42 lines (27 sloc) 0.841 kb
cec938a init
Tom authored
1 name: smt-lib
34e7119 @garrinkimmell Changes to support using the library with Hind.
garrinkimmell authored
2 version: 0.0.4
cec938a init
Tom authored
3
4 category: Language
5
6 synopsis: Parsing and printing SMT-LIB.
7
8 description:
20ca034 script parser working
Tom authored
9 SMT-LIB is a common language used by many SMT solvers.
cec938a init
Tom authored
10 This library provides an SMT-LIB AST with parsing and printing utilities.
11
12 author: Tom Hawkins <tomahawkins@gmail.com>
13 maintainer: Tom Hawkins <tomahawkins@gmail.com>
14
15 license: BSD3
16 license-file: LICENSE
17
18 homepage: http://tomahawkins.org
19
35b10b3 moved version 1.2 and AutoAST to the attic
Tom authored
20 build-type: Simple
cec938a init
Tom authored
21 cabal-version: >= 1.6
22
b79625e starting parser generator
Tom authored
23 extra-source-files:
24
cec938a init
Tom authored
25 library
26 build-depends:
27 base >= 4.0 && < 5.0,
9e4ba51 @garrinkimmell Version nightmare.
garrinkimmell authored
28 directory,
74ffe95 lexer working
Tom authored
29 array >= 0.3 && < 0.4,
23c5c85 @garrinkimmell Switched to attoparsec-enumerator
garrinkimmell authored
30 attoparsec, enumerator, attoparsec-enumerator, bytestring, monads-fd
6d44fe8 @garrinkimmell Shifted to attoparsec based parser.
garrinkimmell authored
31
cec938a init
Tom authored
32
33 exposed-modules:
34 Language.SMTLIB
35
74ffe95 lexer working
Tom authored
36 ghc-options: -W
cec938a init
Tom authored
37
38 source-repository head
39 type: git
40 location: git://github.com/tomahawkins/smt-lib.git
41
Something went wrong with that request. Please try again.