sci-mathematics/atelier-b
IDE for formal modelling and verification with the B method
Screenshots
-
atelier-b-24.04.2-* ~amd64
View 
Download 
Browse License: Atelier-B-Community Overlay: eventb-rossi
Runtime Dependencies
atelier-b-24.04.2
app-arch/lz4
app-arch/xz-utils
app-arch/zstd
dev-libs/double-conversion:0/3
dev-libs/glib:2
dev-libs/gmp:=
dev-libs/libpcre2[pcre16]
dev-libs/openssl:0/3
media-libs/fontconfig
media-libs/freetype
media-libs/harfbuzz
media-libs/libglvnd
media-libs/libpng
net-libs/libproxy
sys-apps/dbus
sys-libs/libcap
virtual/krb5
virtual/zlib
x11-libs/libICE
x11-libs/libSM
x11-libs/libX11
x11-libs/libdrm
x11-libs/libxcb
x11-libs/libxkbcommon[X]
x11-libs/xcb-util-image
x11-libs/xcb-util-keysyms
x11-libs/xcb-util-renderutil
x11-libs/xcb-util-wm
app-arch/xz-utils
app-arch/zstd
dev-libs/double-conversion:0/3
dev-libs/glib:2
dev-libs/gmp:=
dev-libs/libpcre2[pcre16]
dev-libs/openssl:0/3
media-libs/fontconfig
media-libs/freetype
media-libs/harfbuzz
media-libs/libglvnd
media-libs/libpng
net-libs/libproxy
sys-apps/dbus
sys-libs/libcap
virtual/krb5
virtual/zlib
x11-libs/libICE
x11-libs/libSM
x11-libs/libX11
x11-libs/libdrm
x11-libs/libxcb
x11-libs/libxkbcommon[X]
x11-libs/xcb-util-image
x11-libs/xcb-util-keysyms
x11-libs/xcb-util-renderutil
x11-libs/xcb-util-wm