Curtis Bright

SMTpip: Interpreter-Aware SMT-Based Dependency Conflict Resolution for Restoring Python Source-Code Executability

SMTpip is presented, an interpreter-aware environment inference technique for improving the executability of Python source-code artifacts that constructs a dependency knowledge graph using metadata stored in the Python Package Index that encodes both package version constraints and interpreter compatibility constraints...