SCIP type annotations WIP Credits SCIP developers for making such a powerful solver open to all Joren Hammudoglu for inspiring me with numtype and scipy-stubs