Difference between revisions of "Download"
From BP Wiki
| Line 5: | Line 5: | ||
** Extract the downloaded files – no installation is needed. | ** Extract the downloaded files – no installation is needed. | ||
*BPJ: Download [http://www.wisdom.weizmann.ac.il/~bprogram/code/BPJZip.zip BPJzip.zip] | *BPJ: Download [http://www.wisdom.weizmann.ac.il/~bprogram/code/BPJZip.zip BPJzip.zip] | ||
| − | *In | + | *In Eclipse, import the BPJCore110 project |
*File Import General Existing Project into Work Space BPJCore110 | *File Import General Existing Project into Work Space BPJCore110 | ||
Rebuild the project.� | Rebuild the project.� | ||
Revision as of 08:49, 25 June 2013
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 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
