Presentation
The Parallelizer is an application that seeks to optimize the processing time for B projects thanks to a transparent, remote and parallel use of Atelier B.
When proving projects that are relatively simple, such as GCD calculations or the determination of minimums, the calculation time is negligible, but when projects are more complex, the proof process for a B project becomes very time-consuming.
Download
Specific Comments on the Platforms
Microsoft Windows
The zip archive integrates the libraries required to execute the application. Don’t forget to also install Putty and potentially a key controller, as explained in the documentation.
Linux Version
Note: With the Linux version, make sure you have installed the Qt library (libqt4-core and libqt4-gui packets, in particular), as well as the Avahi library. Click here to display the list of dependencies in terms of libraries.
MacOS Version
The same comments as for the Linux version apply to this operating system.
Documentation
- User Documentation (consultation online) | (pdf download)
English
French 
