search

gentoo / dotnet

[MIRROR] Newer mono, .NET languages, and libraries
https://gitweb.gentoo.org/repo/proj/dotnet.git
78 stars 56 forks source link

[Req] Z3 theorem prover #205

Open ArsenShnurkov opened 8 years ago

ArsenShnurkov commented 8 years ago

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

cnd commented 8 years ago

@ArsenShnurkov are you going working on this?

ArsenShnurkov commented 8 years ago

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