[Req] Z3 theorem prover

Open ArsenShnurkov opened this issue 9 years ago • 2 comments

Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license. https://github.com/Z3Prover/z3

The default Z3 bindings for .NET are built for the .NET framework version 4 https://github.com/Z3Prover/z3/tree/master/src/api/dotnet

why code proofs are better than unit tests: http://e-collection.library.ethz.ch/eserv/eth:30601/eth-30601-02.pdf

Jul 23 '16 14:07 ArsenShnurkov

@ArsenShnurkov are you going working on this?

Jul 23 '16 18:07 Cynede

no. "Req" - it's when i request somebody other, that it would be nice to have something.

Jul 23 '16 19:07 ArsenShnurkov