Opam Package alt-ergo-parsers.2.4.0

Package documentation pages

pages: doc/alt-ergo-parsers/odoc-pages/index.mld

Package info

opam-namealt-ergo-parsers
opam-version2.4.0
synopsisThe Alt-Ergo SMT prover parser library
description This is the parser library used in the Alt-Ergo SMT solver. Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro. See more details on http://alt-ergo.ocamlpro.com/
authors
  • Alt-Ergo developers
homepagehttps://alt-ergo.ocamlpro.com/
licenseOCamlPro Non-Commercial Purpose License, version 1
license-fileLICENSE.md
readme-fileREADME.md
odoc-filedoc/alt-ergo-parsers/odoc-pages/index.mld
deps (7)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

alt-ergo-parsers

Package files

lib/alt-ergo-parsers/psmt2_to_alt_ergo.mli
lib/alt-ergo-parsers/psmt2_to_alt_ergo.ml
lib/alt-ergo-parsers/parsers_loader.mli
lib/alt-ergo-parsers/parsers_loader.ml
lib/alt-ergo-parsers/parsers.mli
lib/alt-ergo-parsers/parsers.ml
lib/alt-ergo-parsers/opam
lib/alt-ergo-parsers/native_parser.mli
lib/alt-ergo-parsers/native_parser.ml
lib/alt-ergo-parsers/native_lexer.ml
lib/alt-ergo-parsers/myZip.mli
lib/alt-ergo-parsers/myZip.ml
lib/alt-ergo-parsers/dune-package
lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx
lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti
lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt
lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi
lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx
lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti
lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt
lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi
lib/alt-ergo-parsers/altErgoParsers__Parsers.cmx
lib/alt-ergo-parsers/altErgoParsers__Parsers.cmti
lib/alt-ergo-parsers/altErgoParsers__Parsers.cmt
lib/alt-ergo-parsers/altErgoParsers__Parsers.cmi
lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmx
lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmti
lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmt
lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmi
lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmx
lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmt
lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmi
lib/alt-ergo-parsers/altErgoParsers__MyZip.cmx
lib/alt-ergo-parsers/altErgoParsers__MyZip.cmti
lib/alt-ergo-parsers/altErgoParsers__MyZip.cmt
lib/alt-ergo-parsers/altErgoParsers__MyZip.cmi
lib/alt-ergo-parsers/altErgoParsers.ml
lib/alt-ergo-parsers/altErgoParsers.cmx
lib/alt-ergo-parsers/altErgoParsers.cmt
lib/alt-ergo-parsers/altErgoParsers.cmi
lib/alt-ergo-parsers/META
lib/alt-ergo-parsers/AltErgoParsers.cmxs
lib/alt-ergo-parsers/AltErgoParsers.cmxa
lib/alt-ergo-parsers/AltErgoParsers.cma
lib/alt-ergo-parsers/AltErgoParsers.a
lib/alt-ergo-parsers
doc/alt-ergo-parsers/odoc-pages/index.mld
doc/alt-ergo-parsers/odoc-pages
doc/alt-ergo-parsers/README.md
doc/alt-ergo-parsers/LICENSE.md
doc/alt-ergo-parsers