Text this: Efficient solving of large arithmetic constraint systems with complex Boolean structure :