Discussed in #8000
Originally posted by yvanlabiche October 28, 2025
I have discovered that the Java API (version 4.15.3 and others) does not have a mkLastIndexOf whereas other APIs have it. Is this an omission?
Method 'static Sort create(context,long)' in class Sort (file Sort.java) does not have a case statement for CharSort in the switch statement although CharSort is a valid sort as per enum Z3_sort_kind. Another omission?
Discussed in #8000
Originally posted by yvanlabiche October 28, 2025
I have discovered that the Java API (version 4.15.3 and others) does not have a mkLastIndexOf whereas other APIs have it. Is this an omission?
Method 'static Sort create(context,long)' in class Sort (file Sort.java) does not have a case statement for CharSort in the switch statement although CharSort is a valid sort as per enum Z3_sort_kind. Another omission?