The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
README.md	2015-10-07	725 Bytes	0
ch.ethz.eventb.utils.source_0.2.0.201510071542.jar	2015-10-07	9.9 kB	0
ch.ethz.eventb.utils.tests.source_0.2.1.201510071542.jar	2015-10-07	17.5 kB	0
ch.ethz.eventb.utils.tests_0.2.1.201510071542.jar	2015-10-07	26.8 kB	0
ch.ethz.eventb.utils_0.2.0.201510071542.jar	2015-10-07	13.3 kB	0
ch.ethz.eventb.utils.sdk_0.2.1.201510071542.jar	2015-10-07	3.4 kB	0
ch.ethz.eventb.utils_feature_0.2.1.201510071542.jar	2015-10-07	3.4 kB	0
ch.ethz.eventb.utils_0.2.1.zip	2015-10-07	84.3 kB	0
Totals: 8 Items		159.4 kB	0

Event-B Utilities Package

This package provides additional functionalities to manipulate Event-B components. There are different bundles for the package can be installed via the update site (RODIN sourceforge update site).

ch.ethz.eventb.utils_feature_x.x.x.x.jar The basic feature containing the binary build of the package.
ch.ethz.eventb.utils.sdk_x.x.x.x.jar The SDK feature containing the source code and tests used for development.

The complete source code of the package can be downloaded as a zip file ch.ethz.eventb.utils_x.x.x.zip

Change Logs

Version 0.2.1

Publish the SDK feature of the package.
Change the structure of the tests plugin.

Source: README.md, updated 2015-10-07

Other Useful Business Software

Streamline Hiring with Skill Assessments Icon

Streamline Hiring with Skill Assessments

Say goodbye to hiring guesswork. Use Canditech’s job simulation tests to assess real-world skills and make data-driven decisions.

Canditech offers innovative, cheat-proof skill assessments and job simulations to transform your hiring process. From technical skills to soft skills, we help you assess candidates on actual job performance. With over 500 customizable tests and powerful video interview features, you can evaluate real-world capabilities, streamline your hiring, and reduce biases. Whether you’re hiring for remote roles, mass hiring, or looking to expand your diversity pool, Canditech’s data-driven platform ensures the right candidates are chosen for the job every time.

Get a Free Demo

RouteGenie NEMT software Icon

RouteGenie NEMT software

Modern software for non-emergency medical transportation providers, built to improve scheduling, billing, routing, and dispatching processes.

RouteGenie NEMT software is a modern system built to automate all non-emergency medical transportation processes including routing, scheduling, dispatching, and billing. It helps manage everyday challenges like vehicle breakdowns, traffic problems, cancelations, driver call-offs, will calls, no shows, add-on trips, on-demand trips, and more.

Learn More

Streamline Hiring with Skill Assessments

Say goodbye to hiring guesswork. Use Canditech’s job simulation tests to assess real-world skills and make data-driven decisions.

Canditech offers innovative, cheat-proof skill assessments and job simulations to transform your hiring process. From technical skills to soft skills, we help you assess candidates on actual job performance. With over 500 customizable tests and powerful video interview features, you can evaluate real-world capabilities, streamline your hiring, and reduce biases. Whether you’re hiring for remote roles, mass hiring, or looking to expand your diversity pool, Canditech’s data-driven platform ensures the right candidates are chosen for the job every time.

Get a Free Demo

Recommended Projects

Lurch
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
JGraphT
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
Whole Platform
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
GNU Ballistics Library
An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs