Top-1.7: Constraint solving framework employed by the Helium Compiler.