DifferenceLogic (hackage): A theory solver for difference logic
Keywords: bsd3|library|math