| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| CVS/ | - | 2025-Sep-08 12:01 | |
| constraints.md | 2206 | 2025-Sep-08 12:01 | |
| fr30-protos.h | 1238 | 2025-Sep-08 12:01 | |
| fr30.cc | 32366 | 2025-Sep-07 11:58 | |
| fr30.h | 32287 | 2025-Sep-08 12:01 | |
| fr30.md | 38617 | 2025-Sep-08 12:01 | |
| fr30.opt | 942 | 2025-Sep-08 12:01 | |
| predicates.md | 3021 | 2025-Sep-08 12:01 | |