Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/prob2-ui

Package Information

Description:

ProB2-UI is a modern JavaFX-based user interface for the ProB animator, constraint solver and model checker. It supports the B method, Event-B, CSP-M, TLA+ and Z, offering interactive animation, model checking, LTL/CTL verification, trace recording and replay, and visualisation.

Homepage:

https://prob.hhu.de/

License:

EPL-2.0

Versions

Metadata

Description

• ProB2-UI is a modern JavaFX-based user interface for the ProB animator, constraint solver and model checker. It supports the B method, Event-B, CSP-M, TLA+ and Z, offering interactive animation, model checking, LTL/CTL verification, trace recording and replay, and visualisation.

Maintainers

• Denis Efremov (efremov@linux.com) - Type: person

Upstream

• Bugs: https://github.com/hhu-stups/prob-issues/issues
• Remote IDs:
  • github: hhu-stups/prob2_ui

<pkgmetadata>
	<maintainer type="person">
		<email>efremov@linux.com</email>
		<name>Denis Efremov</name>
	</maintainer>
	<longdescription lang="en">
		ProB2-UI is a modern JavaFX-based user interface for the ProB
		animator, constraint solver and model checker. It supports the
		B method, Event-B, CSP-M, TLA+ and Z, offering interactive
		animation, model checking, LTL/CTL verification, trace
		recording and replay, and visualisation.
	</longdescription>
	<upstream>
		<bugs-to>https://github.com/hhu-stups/prob-issues/issues</bugs-to>
		<remote-id type="github">hhu-stups/prob2_ui</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Error] Missing md5-cache for ebuild prob2-ui-1.3.1

Manifest