2
z3
Z3 jest twierdzeniem twierdzącym z Microsoft Research.
Z3 jest twierdzeniem twierdzącym z Microsoft Research
Stronie internetowej:
https://github.com/Z3Prover/z3Kategorie
Alternatywy dla z3 dla BSD
172
GNU Octave
Octave to program komputerowy do wykonywania obliczeń numerycznych, który jest w większości kompatybilny z MATLAB.Jest częścią Projektu GNU.
165
R (programming language)
R jest wolnym środowiskiem oprogramowania do obliczeń statystycznych i grafiki.