Viewing profile — constructum
constructum
HN member- Joined
- Sun, Aug 28, 2022, 4:48 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About constructum
No profile information was provided.
Recent public activity
-
comment
Comment #42343613
If you want to use Z3 with a .NET language, there is also this very useful file with examples of how to use the bindings: https://github.com/Z3Prover/z3/blob/master/examples/dotnet…