Index of /trunk/source/TreeAutomizer/src/de/uni_freiburg/informatik/ultimate/plugins/generator/treeautomizer

Icon  Name                                                                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                            -   
[DIR] graph/                                                                                 2024-10-12 21:50    -   
[DIR] preferences/                                                                           2021-01-15 13:27    -   
[TXT] Activator.java                                                                         2017-11-16 06:20  1.8K  
[   ] TaMinimization.java                                                                    2017-12-08 16:15  277   
[TXT] TreeAutomizer.java                                                                     2021-01-15 13:27  3.5K  
[TXT] TreeAutomizerChcScript.java                                                            2023-06-01 16:08  6.1K  
[TXT] TreeAutomizerConstants.java                                                            2017-11-16 06:20  1.8K  
[TXT] TreeAutomizerObserver.java                                                             2024-10-12 21:50  3.7K  
[TXT] TreeAutomizerSettings.java                                                             2018-06-14 18:20  1.3K