]>
drwxr-xr-x | .. | ||
drwxr-xr-x | - | constraints | tree | history |
drwxr-xr-x | - | constraints2 | tree | history |
drwxr-xr-x | - | decomposed | tree | history |
drwxr-xr-x | - | matching | tree | history |
drwxr-xr-x | - | matching2 | tree | history |
drwxr-xr-x | - | profiling | tree | history |
drwxr-xr-x | - | subsumption | tree | history |
drwxr-xr-x | - | transformations | tree | history |
drwxr-xr-x | - | utils | tree | history |