![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| zsetlog.pdf | 2021-12-27 11:55 | 222K | |
| size.zip | 2021-12-27 11:54 | 181K | |
| setloglibpf.slog | 2023-02-09 19:00 | 6.6K | |
| setlogliblist.slog | 2021-12-27 11:38 | 3.4K | |
| setloglib_tc.slog | 2023-02-09 19:01 | 9.6K | |
| setloglibTPTP.slog | 2021-12-27 11:38 | 6.5K | |
| setloglibIntervals.slog | 2021-02-23 10:09 | 3.2K | |
| setloglib.slog | 2023-02-09 18:58 | 8.6K | |
| setlog_4.9.8.zip | 2021-12-29 10:20 | 84K | |
| setlog499-1b.zip | 2025-06-07 19:22 | 732K | |
| setlog499-1a.zip | 2025-05-28 18:11 | 732K | |
| setlog499-1.zip | 2025-05-13 10:51 | 736K | |
| setlog498-16j.zip | 2025-03-18 10:46 | 122K | |
| setlog498-15h.zip | 2024-12-14 10:39 | 119K | |
| setlog498-15g.zip | 2024-11-30 10:37 | 118K | |
| setlog498-15f.zip | 2024-11-22 12:19 | 118K | |
| setlog498-15e.zip | 2024-05-17 09:15 | 119K | |
| setlog498-14i.zip | 2024-03-10 22:33 | 118K | |
| setlog498-14h.zip | 2024-02-23 17:57 | 118K | |
| setlog498-14c.zip | 2023-12-13 11:33 | 110K | |
| setlog498-13j.zip | 2023-10-24 15:38 | 105K | |
| setlog498-13b.zip | 2023-05-25 12:44 | 104K | |
| setlog498-12f.zip | 2023-04-08 12:37 | 95K | |
| setlog498-12e.zip | 2023-03-02 10:04 | 94K | |
| setlog498-11g.zip | 2022-05-11 15:30 | 86K | |
| setlog-man.pdf | 2025-06-07 18:46 | 595K | |
| setlog-intervals.zip | 2021-12-27 11:54 | 90K | |
| pts.pdf | 2022-05-03 17:42 | 228K | |
| papers.html | 2025-05-13 12:53 | 3.1K | |
| imageFAU.JPG | 2021-12-27 11:34 | 11K | |
| experimentsJAR.zip | 2021-12-27 11:54 | 848K | |
| experimentsCP.zip | 2021-12-27 11:54 | 813K | |
| experimentsCAV.tar.gz | 2021-12-27 11:54 | 53K | |
| experiments.pdf | 2021-12-27 11:53 | 232K | |
| calculus.pdf | 2022-04-22 09:03 | 429K | |
| bsetlog.pdf | 2023-02-13 15:37 | 321K | |
| bb.slog | 2023-02-09 18:31 | 1.2K | |
| SamplePrograms/ | 2021-12-27 12:09 | - | |
| CAV-AR-Logo.png | 2021-12-27 11:34 | 61K | |
| APPLICATIONS/ | 2024-04-24 12:42 | - | |