Download

From BP Wiki
Revision as of 08:43, 25 June 2013 by Assaf (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Download and Installation

  • IDE: BPJ does not require any special environment. E.g., the library and examples can be used with the latest version of Eclipse.
    • Download Eclipse classic for Java from http://www.eclipse.org/ .
    • Extract the downloaded files – no installation is needed.
  • BPJ: Download from www.b-prog.org BPJzip.zip
  • In eclipse, import the BPJCore110 project
  • File  Import  General  Existing Project into Work Space  BPJCore110

Rebuild the project.�

  • Import run configurations (optional for running model-checking examples)

File  Import  Run/Debug .... �Select all available configurations

So far – BPJ was tested only on Windows

Retrieved from "https://wiki.weizmann.ac.il/bp/index.php?title=Download&oldid=6"