2
z3
Z3, Microsoft Research'ten bir teorem kanıtlayıcısıdır.
- Ücretsiz
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3, Microsoft Research'ten bir teorem kanıtlayıcısıdır
İnternet sitesi:
https://github.com/Z3Prover/z3Özellikleri
Kategoriler
BSD için z3'a alternatifler
172
GNU Octave
Octave, çoğunlukla MATLAB ile uyumlu olan sayısal hesaplamaları gerçekleştirmek için kullanılan bir bilgisayar programıdır.GNU Projesi'nin bir parçasıdır.
165
R (programming language)
R, istatistiksel hesaplama ve grafikler için ücretsiz bir yazılım ortamıdır.