perf(solver): Improved implementation of STN propagation + clause mimization#151

Merged

arbimo merged 49 commits intomasterfrom stn-relevant

Nov 22, 2024

+2,878-1,488

Commits on Oct 9, 2024

chore(branching): Phase saving should not erase from any solution.
arbimo
committed
chore(branching): Allow more variants of impact measurement.
arbimo
committed

Commits on Oct 12, 2024

feat(search): Allow lexical to choose between min or max value.
arbimo
committed

Commits on Oct 14, 2024

chore(knapsack): Improve the knapsack example to enable dynamic-programming like memoization.
arbimo
committed

Commits on Oct 16, 2024

feat(knapsack): Add a dynamic programming implementation fro 0/1 Knapsack
arbimo
committed

Commits on Oct 24, 2024

Commits on Nov 4, 2024

Commits on Nov 8, 2024

Commits on Nov 9, 2024

chore(jsp): Improve debug formatting of operations.
arbimo
committed

Commits on Nov 19, 2024

Commits on Nov 20, 2024

deactivate bounds propagation by default
arbimo
committed