merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rAFP58ab4f651da2: tweaks
rAFPd858bca8a11d: tuned - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- d858bca8a11d tunedAuthor
- 20e68f30d833 mv to distributionAuthor
- 1e6800ff5ef5 by now in distributionAuthor
- bcab7766727b merge from afp-2021-1Author
- af1ef62a1c06 fixed abstractAuthor
- 53adb4f2af3d New entry Knights_TourAuthor
- 6a4f3c47c3d8 New entry Regular_Tree_RelationsAuthor
- a6f96fdf6ac7 typoAuthor
- 1f4297082cc1 fixed typoAuthor
- 1266c86cf47b added loader;
- b30cbcc1846c tuned;
- f09cb003fe3c tuned;
- f69e70cf8a17 tuned;
- 12628bcb34d2 tuned;