Index of /current_tree/MaxSxT

Icon  Name                      Last modified      Size  Description
[PARENTDIR] Parent Directory                               -   
[DIR] GCD_LCM/                  2025-10-16 18:28    -   
[DIR] assembler/                2025-10-16 18:28    -   
[DIR] assign_problem/           2025-10-16 18:28    -   
[TXT] beer_can_optimal_size.tex 2025-10-16 18:28  4.8K  
[DIR] clique_openwbo/           2025-10-16 18:28    -   
[DIR] fault_check/              2025-10-16 18:28    -   
[TXT] main.tex                  2021-04-19 21:30  416   
[DIR] min_test_OpenWBO/         2025-10-16 18:28    -   
[DIR] min_test_Z3/              2025-10-16 18:28    -   
[DIR] pack_students/            2025-10-16 18:28    -   
[DIR] polite/                   2025-10-16 18:28    -
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443