![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Utils.h | 2025-07-15 07:15 | 6.1K | |
| Utils.cpp | 2025-07-15 07:15 | 29K | |
| OpenMP.cpp | 2025-07-15 07:15 | 177K | |
| Decomposer.h | 2025-07-15 07:15 | 2.5K | |
| Decomposer.cpp | 2025-07-15 07:15 | 4.2K | |
| DataSharingProcessor.h | 2025-07-15 07:15 | 6.6K | |
| DataSharingProcessor.cpp | 2025-07-15 07:15 | 24K | |
| Clauses.cpp | 2025-07-15 07:15 | 50K | |
| ClauseProcessor.h | 2025-07-15 07:15 | 11K | |
| ClauseProcessor.cpp | 2025-07-15 07:15 | 64K | |
| ClauseFinder.h | 2025-07-15 07:15 | 2.4K | |
| Atomic.h | 2025-07-15 07:15 | 1.0K | |
| Atomic.cpp | 2025-07-15 07:15 | 29K | |