sci-mathematics/eventb-animate (eventb-rossi)

Search

Install

Install this package:

emerge -a sci-mathematics/eventb-animate

Package Information

Description:
eventb-animate animates Event-B models with the ProB model checker without requiring a Rodin Platform installation: random animation, invariant checking, and trace save/replay.
Homepage:
https://github.com/eventb-rossi/eventb-animate
License:
Apache-2.0

Versions

Version EAPI Keywords Slot
5.0 8 ~amd64 0

Metadata

Description

Maintainers

Upstream

Raw Metadata XML
<pkgmetadata>
	<maintainer type="person">
		<email>efremov@linux.com</email>
		<name>Denis Efremov</name>
	</maintainer>
	<longdescription lang="en">
		eventb-animate animates Event-B models with the ProB model
		checker without requiring a Rodin Platform installation:
		random animation, invariant checking, and trace save/replay.
	</longdescription>
	<upstream>
		<bugs-to>https://github.com/eventb-rossi/eventb-animate/issues</bugs-to>
		<remote-id type="github">eventb-rossi/eventb-animate</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

Manifest

Type File Size Versions
DIST eventb-animate-5.0.jar 98365093 bytes 5.0
Unmatched Entries
Type File Size