2
z3
Z3 er en teorem-prover fra Microsoft Research.
Z3 er en teorem-prover fra Microsoft Research
z3
Internet side:
https://github.com/Z3Prover/z3Funktioner
Kategorier
Alternativer til z3 til Mac
180
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.
140
Mathematica
Definitivt teknisk computersystem, der spænder over maskinlæring og neurale netværk, datavidenskab, visualiseringer og meget mere.