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 for alle platforme med kommerciel licens
180
140
Mathematica
Definitivt teknisk computersystem, der spænder over maskinlæring og neurale netværk, datavidenskab, visualiseringer og meget mere.