Examples about list

[lMINERl]

I'm here to question about how to use lists in easy-smt , like how to add constraint an element in a list ? , Sorry but I'm abit lost using this crate since everything takes SExpr , but as far as binary operations everything is fine I get it Thanks in advance for help and for this crate, truly a blessing

[fitzgen]

I haven't used lists in smt-lib2 very much, but the answer is that it works the same in this crate as however it does in smt-lib2. You should be able to translate smt-lib2 syntax one-to-one to this crate's SExprs, so if you have an example using smt-lib2 syntax you should be good to go.

Feel free to send a PR adding a new example for this crate as well afterwards.