diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-11-15 08:29:37 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-11-15 08:29:37 +0100 |
| commit | 20ac0e60d7174114965d4419af0bb3028db8e447 (patch) | |
| tree | b94184b39965aa3cd74f4e5e2cec988603f224f4 /src/shell.h | |
| parent | 44beaa88e54d60d5c576380534cf5ebb8dd44709 (diff) | |
| download | nissy-20ac0e60d7174114965d4419af0bb3028db8e447.tar.gz nissy-20ac0e60d7174114965d4419af0bb3028db8e447.zip | |
Load all necessary pruning tables for a step before the actual solving process
starts. This is in preparation for multi-threaded solving (but don't get hyped,
it will take time).
Diffstat (limited to 'src/shell.h')
0 files changed, 0 insertions, 0 deletions