ocaml-smt2
OCaml lexer and parser for SMT 2.0 scripts.

Kyle Krchak, working with Aaron Stump
Summer 2010 at The University of Iowa
----------------------------------------------------------------------
Tested on all SMT-LIB 2.0 benchmarks as of August 31st, 2010 (some
very large files cannot be parsed due to lack of stack).

To build, just run:

     make

This will populate smtlib_src/ with the OCaml source files, which are
generated from smtlib.gra.  It will leave a link to an executable smtlib
in the ocaml-smt2/ directory.

To parse (and print right back out) an SMT-LIB 2.0 file:

	./smtlib/smtlib < my-file.smt2

You can modify the source files in smtlib/ to do some other processing
on parsed SMT-LIB 2.0 input files.
----------------------------------------------------------------------
Compatibility:

-- The above compilation is known to work with OCaml 3.11.1 on Linux.

-- All the Makefiles just use ocamlc (the byte-code compiler), and so
   compilation on Windows should not require any effort (setting up the
   native-code compiler on Windows can take some work).