Index of /trunk/examples/settings/automizer/unsatCore

Icon  Name                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                             -   
[   ] BackwardPredicates.epf                  2024-10-12 21:50  1.5K  
[   ] BackwardPredicates_WithoutUnsatCore.epf 2024-10-12 21:50  1.6K  
[   ] ForwardPredicates.epf                   2024-10-12 21:50  1.5K  
[   ] ForwardPredicates_WithoutUnsatCore.epf  2024-10-12 21:50  1.6K