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