From 20ac0e60d7174114965d4419af0bb3028db8e447 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 15 Nov 2021 08:29:37 +0100 Subject: 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). --- src/steps.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/steps.h') diff --git a/src/steps.h b/src/steps.h index aa3178c..89ab168 100644 --- a/src/steps.h +++ b/src/steps.h @@ -7,4 +7,6 @@ extern Step * steps[NSTEPS]; +void prepare_step(Step *step, DfsData *dd); + #endif -- cgit v1.3