![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Installation.html | 02-Sep-2020 16:36 | 2.2K | |
| Tarski-UdeS-reference-manual.html | 20-Aug-2020 12:08 | 4.8K | |
| image-x64-linux.zip | 21-Jul-2023 11:11 | 58M | |
| image-x64-mac.zip | 21-Jul-2023 11:12 | 59M | |
| image-x64-win.zip | 31-Jul-2023 22:25 | 58M | |
| tarski-udes-1.0.2.jar | 11-Sep-2024 22:06 | 29M | |