Bit-bLAsting solving Non-linear integer constraints. - View it on GitHub