IntBlastModule

This module implements encoding nonlinear integer arithmetic problems into bitvector arithmetic formulas as described in [20] and [19], both (heavily) inspired by [10].