Difference between revisions of "Download"
From BP Wiki
(New page: = 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 classi...) |
|||
| Line 4: | Line 4: | ||
** Download Eclipse classic for Java from http://www.eclipse.org/ . | ** Download Eclipse classic for Java from http://www.eclipse.org/ . | ||
** Extract the downloaded files – no installation is needed. | ** Extract the downloaded files – no installation is needed. | ||
| − | *BPJ: Download | + | *BPJ: Download [http://www.wisdom.weizmann.ac.il/~bprogram/code/BPJZip.zip BPJzip.zip] |
*In eclipse, import the BPJCore110 project | *In eclipse, import the BPJCore110 project | ||
*File Import General Existing Project into Work Space BPJCore110 | *File Import General Existing Project into Work Space BPJCore110 | ||
Revision as of 08:47, 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
