Download
BULL consists of the following 5 folders:
| Folder | Description |
|---|---|
| Src/core | The core library code in C. |
| Src/c | Example of an oracle implemented in C. |
| Src/cpp | Example of an oracle implemented in C++. |
| Src/java | Example of an oracle implemented in JAVA. |
| Src/ocaml | Example of an oracle implemented in OCaml. |
| Src/solvers | SAT Solvers used by the oracles. Currently we use minisat as the default solver for C++ and OCaml, SAT4J as the default for JAVA. |
You can download the latest version of BULL from code.google.com:
https://code.google.com/archive/p/project-bull/
or via git:
git clone https://github.com/guluchen/bull.git