merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rAFPb34d91e2ee32: Fixed an inadequate description
rAFP241da1cdeabf: CS: possibility to disable backtracking; CZH: auxiliary results; ETTS: minor… - 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
- c55c666012a3 used wfP_imp_asymp from HOLAuthor
- cae2c55e7bbb simplified proof some moreAuthor
- 1266c86cf47b added loader;
- b30cbcc1846c tuned;
- f09cb003fe3c tuned;
- f69e70cf8a17 tuned;