2
z3
Z3 adalah prover teorem dari Microsoft Research.
Z3 adalah prover teorem dari Microsoft Research
WebSite:
https://github.com/Z3Prover/z3ciri-ciri
Kategori
Alternatif untuk z3 untuk BSD
172
GNU Octave
Octave adalah program komputer untuk melakukan perhitungan berangka yang kebanyakannya serasi dengan MATLAB.Ia adalah sebahagian daripada Projek GNU.
165
R (programming language)
R adalah persekitaran perisian percuma untuk pengkomputeran dan grafik statistik.