OCaml Forge

canswer

Canswer is an OCaml library allowing one to do certain rewriting. It is a support tool for the CQA (Certain Query Answering) research.