GitHub - shepard8/canswer: OCaml library for Consistent Query Rewriting

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
attackgraph		attackgraph
core		core
cqafo		cqafo
rewrite		rewrite
src		src
tests		tests
API.odocl		API.odocl
AUTHORS.txt		AUTHORS.txt
INSTALL.txt		INSTALL.txt
Makefile		Makefile
README.txt		README.txt
_oasis		_oasis
_tags		_tags
configure		configure
preamble.tex		preamble.tex
setup.ml		setup.ml
top.sh		top.sh

Repository files navigation

(* OASIS_START *)
(* DO NOT EDIT (digest: 30afb98acd00b63823b747de3daaf728) *)

ocamlcanswer - Canswer in OCaml
===============================

See the file [INSTALL.txt](INSTALL.txt) for building and installation
instructions.

Copyright and license
---------------------

ocamlcanswer is distributed under the terms of the GNU Lesser General Public
License version 3.0 with OCaml linking exception.

(* OASIS_STOP *)