Extend Functionality to Use the Presolver Plugin and Add a Tutorial#1076

Open

fvz185 wants to merge 16 commits intoscipopt:masterfrom

fvz185:feature/extend-presolver-plugin

Commits on Oct 3, 2025

Add SCIPvarIsActive function and corresponding test for variable activity
fvz185
committed
Add SCIPaggregateVars function and aggregateVars method for variable aggregation
fvz185
committed
Add knapsack function for modeling the knapsack problem
fvz185
committed
Add parameter settings to disable automatic presolvers and propagators in the knapsack model
fvz185
committed
Add ShiftboundPresolver for variable domain transformation in SCIP
fvz185
committed
Add tests for Shiftbound presolver with parametrised knapsack instances
fvz185
committed
Update docstring in shiftbound.py to clarify presolver example and its functionality
fvz185
committed
Add tests for Model.aggregateVars to verify aggregation functionality
fvz185
committed
Add test for aggregation infeasibility in binary variables
fvz185
committed
Remove Shiftbound presolver tests from test_shiftbound.py
fvz185
committed
Refactor TODO comment in test_isActive to clarify missing test cases for fixed and aggregated variables
fvz185
committed
Update CHANGELOG to include new features: isActive(), aggregateVars(), and example shiftbound.py
fvz185
committed

Commits on Oct 4, 2025

Add tutorial for writing a custom presolver using PySCIPOpt
fvz185
committed
Add tutorial for presolver plugin to CHANGELOG
fvz185
committed

Commits on Oct 5, 2025

Apply suggestions from code review

Joao-Dionisio
and
Copilot
authored

Commits on Oct 7, 2025

Merge branch 'master' into feature/extend-presolver-plugin
mmghannam
authored