ES Tools Nightly Builds

for testing purposes only

NuSMV

Linux (64 bit) Sun, 24 Nov, 2024 - 05:19 AM • 37.21 MB

User Manual Mon, 27 May, 2024 - 03:33 PM • 643.70 KB

mathsat

Linux (64 bit) Sun, 24 Nov, 2024 - 05:19 AM • 9.66 MB

nuXmv

Linux (64 bit) Sun, 24 Nov, 2024 - 05:19 AM • 50.21 MB

User Manual Mon, 27 May, 2024 - 03:33 PM • 1.29 MB

OCRA

Linux (64 bit) Sun, 24 Nov, 2024 - 05:19 AM • 50.97 MB

User Manual Mon, 27 May, 2024 - 03:34 PM • 506.28 KB

xSAP

Linux (64 bit) Sun, 24 Nov, 2024 - 05:19 AM • 51.72 MB

User Manual Mon, 27 May, 2024 - 03:35 PM • 3.36 MB

NuRV

Linux (64 bit) Sun, 24 Nov, 2024 - 05:19 AM • 50.52 MB

HyCOMP

Linux (64 bit) Sun, 24 Nov, 2024 - 05:19 AM • 50.03 MB

AF3 + OCRA plugin for Autofocus 2.9
needs Java 8

Linux (64 bit) Mon, 27 May, 2024 - 03:35 PM • 193.15 MB

Linux (32 bit) Mon, 27 May, 2024 - 03:35 PM • 193.03 MB

SDE
needs Eclipse Neon and Java 8

SDE update site (add this url to your Eclipse)

Credits: Mozilla.org
The theme of this site is a derivative of the original theme, licensed under the Creative Commons Attribution Share-Alike License v3.0 or any later version.