In the cp6 branch, we've added a KB class to hold the congruence information of temporaries that are generated inside the selector. What we should do is extend the scope of this schema to the generation of linear SSA form as well, which will simplify the way we are passing the congruence information to Minizinc.
bmourad01
commented
2 years ago
In the
cp6branch, we've added a KB class to hold the congruence information of temporaries that are generated inside the selector. What we should do is extend the scope of this schema to the generation of linear SSA form as well, which will simplify the way we are passing the congruence information to Minizinc.