2
z3
Z3 je věta z Microsoft Research.
Alternativy z3 pro všechny platformy s komerční licencí
180
140
Mathematica
Definitivní technický výpočetní systém zahrnující strojové učení a neuronové sítě, věda o datech, vizualizace a mnoho dalšího.