ByNobleID
    Yet Another Way of Building Exact Polyhedral Model for Weakly Dynamic Affine Programs | NobleID