Alexander Kreuzer dc5fa89de3 Mixing Integers and Rational in the new Java API #5085 (#5098) ...

* Added covariance to arithmetic operations

* Added distillSort

* Update JavaGenericExample.java

Co-authored-by: Alexander Kreuzer <alexander.kreuzer@sap.com>
Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>

2021-03-16 05:24:23 -07:00

80 KiB

Raw Permalink Blame History

View Raw