2

z3

Z3 je dokaz teorema podjetja Microsoft Research.

Z3 je dokaz teorema podjetja Microsoft Research

z3

Spletna stran:

https://github.com/Z3Prover/z3

Lastnosti

Kategorije

Izobraževanje in reference

Alternativa z3u za Linux s komercialno licenco

MATLAB

180

MATLAB

Računalniško okolje podjetja in programski jezik za numerično računanje.

Plačljiva
Windows
Mac
Linux
Android
iPhone
iPad
Web

Mathematica

140

Mathematica

Dokončni tehnični računalniški sistem, ki sega v strojno učenje in nevronske mreže, podatkovne znanosti, vizualizacije in še veliko več.

Plačljiva
Web
Windows
Mac
Linux