2
z3
Z3 är en teorem-prover från Microsoft Research.
Z3 är en teorem-prover från Microsoft Research
z3
Hemsida:
https://github.com/Z3Prover/z3Funktioner
kategorier
Alternativ till z3 för alla plattformar med kommersiell licens
180
140
Mathematica
Definitivt tekniskt datorsystem som spänner över maskininlärning och neurala nätverk, datavetenskap, visualiseringar och mycket mer.
