BULL is 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 C++, JAVA, and OCAML.

It has been compiled and tested on Linux and MacOS 10.6.8. It is freely available under the open source LGPL v3 license.

Yu-Fang Chen and Bow-Yaw Wang, “BULL: a Library for Learning Algorithms of Boolean Functions,” The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Lecture Notes in Computer Science, March 2013. Preprint