| 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 | 129.1 KiB | 4,216 | 2,120 | |
| clausesel.c | H A D | 08-Nov-2021 | 28.3 KiB | 1,001 | 566 | |
| costsize.c | H A D | 08-Nov-2021 | 199.9 KiB | 6,171 | 2,983 | |
| equivclass.c | H A D | 08-Nov-2021 | 102.7 KiB | 3,256 | 1,721 | |
| indxpath.c | H A D | 08-Nov-2021 | 120.4 KiB | 3,827 | 2,047 | |
| joinpath.c | H A D | 08-Nov-2021 | 71.6 KiB | 2,275 | 1,274 | |
| 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 | 14.4 KiB | 529 | 250 |