LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals.

Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke

Browse the full CAV paper archive.