| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 08-Nov-2021 | - | ||||
| Makefile | H A D | 08-Nov-2021 | 549 | 27 | 14 | |
| allpaths.c | H A D | 08-Nov-2021 | 131.8 KiB | 4,287 | 2,153 | |
| clausesel.c | H A D | 08-Nov-2021 | 25.6 KiB | 901 | 506 | |
| costsize.c | H A D | 08-Nov-2021 | 189 KiB | 5,845 | 2,846 | |
| equivclass.c | H A D | 08-Nov-2021 | 100.6 KiB | 3,181 | 1,684 | |
| indxpath.c | H A D | 08-Nov-2021 | 120.7 KiB | 3,838 | 2,055 | |
| joinpath.c | H A D | 08-Nov-2021 | 64.1 KiB | 2,029 | 1,144 | |
| joinrels.c | H A D | 08-Nov-2021 | 57.7 KiB | 1,783 | 925 | |
| pathkeys.c | H A D | 08-Nov-2021 | 58.1 KiB | 1,918 | 964 | |
| tidpath.c | H A D | 08-Nov-2021 | 12.1 KiB | 437 | 206 |