search

ahumenberger / Z3.jl

Julia interface to Z3
MIT License
57 stars 7 forks source link

Add a more convenient substitute function #16

Closed Philipp15b closed 7 months ago

Philipp15b commented 3 years ago

Like in the Python bindings, this function takes a list of pairs of expressions.

remysucre commented 7 months ago

We try to stick to the C++ API so we can rely on the docs over there. Since there's already a method that takes a single pair of from & to expressions, people can just fold that over the list of pairs.