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

Version	EAPI	Keywords	Slot
1.3.1-r1	8	~amd64	0

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

Raw Metadata XML

<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>
	<use>
		<flag name="ltsmin">Enable LTSmin model checking through the system ProB kernel</flag>
		<flag name="system-prob">Use <pkg>sci-mathematics/prob-bin</pkg> instead of the bundled ProB kernel</flag>
	</use>
	<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] Manifest entry for unused DIST file 'prob2-ui-1.3.1.jar'
[Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
[Warning] Missing md5-cache for ebuild prob2-ui-1.3.1-r1

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/prob2-ui | euse -E <flag> -p sci-mathematics/prob2-ui | euse -D <flag> -p sci-mathematics/prob2-ui

Flag	Description	1.3.1-r1
ltsmin	Enable LTSmin model checking through the system ProB kernel	✓
system-prob	Use <pkg>sci-mathematics/prob-bin</pkg> instead of the bundled ProB kernel	✓

Manifest

Type	File	Size	Versions

Unmatched Entries

Type	File	Size
DIST	prob2-ui-1.3.1.jar	235437615 bytes

sci-mathematics/prob2-ui (eventb-rossi)