Annotate more straightforward APIs in the stubs

CHANGELOG.md

@@ -2,6 +2,7 @@
 
 ## Unreleased
 ### Added
+- Added more type annotations and deprecation markers to the stubs.
 ### Fixed
 ### Changed
 ### Removed

pyproject.toml

@@ -28,6 +28,10 @@ Homepage = "https://github.com/SCIP-Interfaces/PySCIPOpt"
 norecursedirs = ["check"]
 testpaths = ["tests"]
 
+[tool.mypy]
+warn_unused_ignores = true
+enable_error_code = ["deprecated"]
+
 [tool.setuptools]
 include-package-data = false
 

src/pyscipopt/recipes/infeasibilities.py

@@ -35,10 +35,10 @@ def get_infeasible_constraints(orig_model: Model, verbose: bool = False):
     model.optimize()
 
     n_infeasibilities_detected = 0
-    for c in binary:
-        if model.isInfinity(model.getVal(binary[c])) or model.isGT(model.getVal(binary[c]), 0):
+    for name in binary:
+        if model.isInfinity(model.getVal(binary[name])) or model.isGT(model.getVal(binary[name]), 0):
             n_infeasibilities_detected += 1
-            print("Constraint %s is causing an infeasibility." % c)
+            print("Constraint %s is causing an infeasibility." % name)
 
     if verbose:
         if n_infeasibilities_detected > 0:
@@ -47,4 +47,4 @@ def get_infeasible_constraints(orig_model: Model, verbose: bool = False):
         else:
             print("Model is feasible.")
 
-    return n_infeasibilities_detected, aux
+    return n_infeasibilities_detected, aux