Moved from DFT settings to DFT environments

[volkm]

Adaption to changes in storm-dft introduced in stormchecker/storm#1037.
Most notably, moved from settings to environments.

Minor: added convenience helper make check.

[Copilot]

Copilot review overview

🟡 Changes recommended

Update Storm dependency compatibility, declare check phony, and add environment-binding coverage.

Review effort: Lite
Findings: 2 · 1

Open (3)

• Pin Storm to a release with the environment API · New
• Update Storm compatibility for required DFT headers · New
• Add check target to .PHONY · New

What changed in this PR

Migrates DFT bindings from settings to DftEnvironment objects and adds a unified check command.

Changes:

• Adds Python bindings for DFT environments.
• Updates DFT analysis and model-builder APIs.
• Updates tests and adds make check.

File	Summary
tests/​dft/​test_analysis.py	Updates DFT builder tests.
src/​mod_dft.cpp	Registers environment bindings.
src/​dft/​environment.h	Declares environment binding setup.
src/​dft/​environment.cpp	Adds environment bindings; compatibility and coverage issues remain.
src/​dft/​dft.cpp	Removes obsolete settings initialization.
src/​dft/​analysis.cpp	Passes environments into DFT analysis; Storm dependency compatibility must be updated.
Makefile	Adds check; it must also be declared phony.
lib/​stormpy/​dft/​__init__.py	Updates Python DFT wrappers.

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.