2
z3
Z3 är en teorem-prover från Microsoft Research.
Z3 är en teorem-prover från Microsoft Research
z3
Hemsida:
https://github.com/Z3Prover/z3Funktioner
kategorier
Alternativ till z3 för BSD
172
GNU Octave
Octave är ett datorprogram för att utföra numeriska beräkningar som mestadels är kompatibla med MATLAB.Det är en del av GNU-projektet.
165
R (programming language)
R är en fri mjukvarumiljö för statistisk databehandling och grafik.
