Commit ac7a923
Publish L10 manuscript: How CP-SAT Reasons (The Search Core)
Add the L10 reading script as scripts/L10-cpsat-search-core.pdf and link it
under Scripts on the material index, alongside the T02 manuscript.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>1 parent 444acc5 commit ac7a923
2 files changed
Lines changed: 1 addition & 0 deletions
Binary file not shown.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
33 | 33 | | |
34 | 34 | | |
35 | 35 | | |
| 36 | + | |
36 | 37 | | |
37 | 38 | | |
38 | 39 | | |
| |||
0 commit comments