Gentoo Portage Overlays - sci-mathematics/tlc4b

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/tlc4b

Model-check classical B specifications by translating them to TLA+

Screenshots

https://github.com/hhu-stups/tlc4b

tlc4b-1.2.3

~amd64

verify-sig

View

Download

Browse License: EPL-1.0

Overlay: eventb-rossi

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

tlc4b-1.2.3

>=virtual/jre-1.8:*
>=dev-java/java-config-2.2.0-r3