Published July 18, 2018 | Version v1
Software Open

MaxSMT-Based Type Inference for Python 3 - Artifact


We present Typpete, a sound type inferencer that automatically infers Python 3 type annotations. Typpete encodes type constraints as a MaxSMT problem and uses optional constraints and specific quantifier instantiation patterns to make the constraint solving process efficient. Our experimental evaluation shows that Typpete scales to real world Python programs and outperforms state-of-the-art tools.

This is the artifact accompanying the published paper. 


Files (2.4 GB)

Name Size Download all
2.4 GB Download

Additional details

Related works

Is supplement to
Conference paper: 10.1007/978-3-319-96142-2_2 (DOI)