search

ahumenberger / Z3.jl

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

Missing Z3 API #29

Closed MFaisalZaki closed 3 months ago

MFaisalZaki commented 3 months ago

Like Z3py, we can define boolean and real variables using z3.Bool('Variable_Name')/z3.Real('Variable_Name'). However, there is no equivalent in z3.jl

remysucre commented 3 months ago

Added BoolVar. We're currently revamping the package to use the Z3 C API instead of the C++ API for stability, so many functions may be missing. You can try using a 0.* version for the old C++ API.