- The Z3 Theorem Prover https://github.com/Z3Prover/z3 29 comments
- The Z3 Theorem Prover released under MIT license https://github.com/Z3Prover/z3 66 comments
- Z3Prover/z3 - MIT licensed - Github https://github.com/z3prover/z3 5 comments fsharp
- Z3 is now really open source (MIT License) https://github.com/z3prover/z3 33 comments programming
Would you like to stay up to date with Computer science? Checkout Computer science Weekly.