You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I see there's the Microsoft.Z3 package, and while there are samples for Javascript and Python, there aren't any for C#. Understandable, of course, given that Javascript and Python examples give much more bang for the buck!
The text was updated successfully, but these errors were encountered:
the python examples come from a prior online tutorial. The JS/TS examples are enabled thanks to wasm.
There are C# examples in the z3 repository, similar with Java, C++, C.
I see there's the Microsoft.Z3 package, and while there are samples for Javascript and Python, there aren't any for C#. Understandable, of course, given that Javascript and Python examples give much more bang for the buck!
The text was updated successfully, but these errors were encountered: