English to Hungarian Tech/Engineering Mathematics & Statistics Microsoft programok

Innen:
http://research.microsoft.com/en-us/um/redmond/projects/z3/

"Z3 integrates efficient constraint solving technologies for propositional satisfiability, free functions, linear arithmetic over the reals and integers, bit-vectors, algebraic data-types, and applicative arrays."

Vázlatos ford.:
"A Z3 hatékony korlátozáskezelő technológiákat biztosít a feltételezések kielégíthetősége, szabad függvények, valós és egész számok lineáris aritmetikája, bit-vektorok, algebrai adattípusok, és alkalmazott tömbök témakörökben."

Tipp: feltételezések kielégíthetősége