2
z3
Z3 je věta z Microsoft Research.
Alternativy z3 pro BSD
172
GNU Octave
Octave je počítačový program pro provádění numerických výpočtů, který je většinou kompatibilní s MATLABem.Je součástí projektu GNU.
165
R (programming language)
R je svobodné softwarové prostředí pro statistické výpočty a grafiku.