2
z3
Z3 er en teorem-prover fra Microsoft Research.
Z3 er en teorem-prover fra Microsoft Research
Internet side:
https://github.com/Z3Prover/z3Funktioner
Kategorier
Alternativer til z3 til BSD
172
GNU Octave
Octave er et computerprogram til udførelse af numeriske beregninger, som for det meste er kompatibelt med MATLAB.Det er en del af GNU-projektet.
165
R (programming language)
R er et gratis softwaremiljø til statistisk computing og grafik.