haskell-z3 icon indicating copy to clipboard operation
haskell-z3 copied to clipboard
verified publisher icon IagoAbal

Add missing binding for mk_seq_nth

Open Davvos11 opened this issue 1 year ago • 0 comments

Added the mkSeqNth function that binds to mk_seq_nth. See https://microsoft.github.io/z3guide/docs/theories/Sequences/

Davvos11 avatar Oct 16 '24 09:10 Davvos11