Z3 nth-function missing in Java API?

Asked May 19 '20 at 05:00

Active May 19 '20 at 05:00

Viewed 68 times

referring to this post How do you extract an element as the base type from a Seq type in Z3? there is support for 'nth' operation for sequences. The given code of the post does run on my local z3 4.8.8 . But when trying to 'replay' the example via the Java API it seems 'nth' is missing?! Does it have another name?

Help appreciated....

asked May 19 '20 at 05:00

Daniel Binkele-Raible

Did you try `mkSeqNth`. I believe that's what it is called in the Java API. – alias May 19 '20 at 17:01
I am using 4.8.8 and it is simply not there! Which version are you talking about? – Daniel Binkele-Raible May 20 '20 at 04:56
You can find it in ,Net-APi, But not in the Java-API (https://z3prover.github.io/api/html/) – Daniel Binkele-Raible May 20 '20 at 05:05

Z3 nth-function missing in Java API?

0 Answers0