资 源 简 介
A Library of learning algorithms of Boolean functions.
It can be used in various applications of formal verification, e.g., automated compositional reasoning and finding loop invariants.
The tool is implemented in C with interfaces to both JAVA and OCAML.
