TY  - RPRT
TI  - SMTpip: Interpreter-Aware SMT-Based Dependency Conflict Resolution for Restoring Python Source-Code Executability
AU  - Sadman Jashim Sakib
AU  - Muhammad Asaduzzaman
AU  - Curtis Bright
PY  - 2026
UR  - https://arxiv.org/abs/2608.15886
ID  - 2608.15886
ER  -