Index of /trunk/examples/settings/buchiAutomizer/minimization

Icon  Name                                     Last modified      Size  Description
[PARENTDIR] Parent Directory                                              -   
[   ] MultiSimulation.epf                      2023-10-31 23:12  3.7K  
[   ] MultiDefault.epf                         2023-10-31 23:12  3.7K  
[   ] FairWithoutSCC.epf                       2023-10-31 23:12  3.7K  
[   ] FairWithSCC.epf                          2023-10-31 23:12  3.7K  
[   ] RaqDelayedSimulation.epf                 2023-10-31 23:12  3.6K  
[   ] RaqDirectSimulation.epf                  2023-10-31 23:12  3.6K  
[   ] FairDirect.epf                           2023-10-31 23:12  3.6K  
[   ] Delayed.epf                              2023-10-31 23:12  3.6K  
[   ] MinimzeSevpa.epf                         2023-10-31 23:12  3.6K  
[   ] MinimizeNwaMaxSat2.epf                   2023-10-31 23:12  3.6K  
[   ] MinimizeNwaMaxSat.epf                    2023-10-31 23:12  3.6K  
[   ] ShrinkNwa.epf                            2023-10-31 23:12  3.6K  
[   ] None.epf                                 2023-10-31 23:12  3.6K