DDDLIB: A Library for Solving Quantified Difference Inequalities.

Jesper B. Mller

Browse the full CADE paper archive.