Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
tarski-udes-1.0.2.jar | 11-Sep-2024 22:06 | 29M | ||
image-x64-win.zip | 31-Jul-2023 22:25 | 58M | ||
image-x64-mac.zip | 21-Jul-2023 11:12 | 59M | ||
image-x64-linux.zip | 21-Jul-2023 11:11 | 58M | ||
Tarski-UdeS-reference-manual.html | 20-Aug-2020 12:08 | 4.8K | ||
Installation.html | 02-Sep-2020 16:36 | 2.2K | ||