Plataforma
Windows
Mac
Linux
Chrome OS
Android
iPhone
Windows Phone
Blackberry
Blackberry 10
Apple Watch
Android Wear
Pebble
iPad
Android Tablet
Kindle Fire
PlayBook
Self-Hosted
Chrome
Firefox
Opera
Safari
Internet Explorer
Chromium
Vivaldi Browser
Yandex.Browser
SeaMonkey
Oculus Rift
HTC Vive
Daydream
Gear VR
OSVR
Playstation VR
Xbox
Playstation
Nintendo Switch
Apple TV
Fire TV
Chromecast
Roku
PHP
JavaScript
Python
Node.JS
.NET Framework
Microsoft Visual Studio
jQuery
Eclipse
GitHub
BSD
Windows Mobile
Java Mobile
S60
Xfce
Haiku
HP webOS
AmigaOS
MorphOS
AROS
Steam
Wordpress
PortableApps.com
Magento Community Edition
Wine
Facebook
Java
Slack
Microsoft Office Outlook
Raspberry Pi
iOS
Shopify
Windows Explorer
FreeBSD
Microsoft Office Excel
Docker
Categoría
Oficina y productividad
Desarrollo
Juegos
Social y Comunicaciones
Negocios y comercio
SO y utilidades
Fotos y gráficos
Educación y referencia
Seguridad y Privacidad
Video y peliculas
Audio y musica
Servicios en línea
Red y administrador
Noticias y libros
Compartición de archivos
Navegadores web
Copia de seguridad y sincronización
Viajes y ubicación
Gestión de archivos
Deporte y salud
Hogar y familia
Bitcoin y Criptomoneda
Sistema y hardware
Software de juegos
Herramientas de CD / DVD
ES
AR
BG
CS
DA
DE
FA
FR
HR
JA
KO
MS
PL
PT
SK
SL
SV
TR
ZH
2
z3
Z3 es un probador de teoremas de Microsoft Research.
Gratis
Windows
Mac
Linux
Java
WebAssembly
C (programming language)
OCaml
Python
C++
Z3 es un probador de teoremas de Microsoft Research
z3
Sitio web:
https://github.com/Z3Prover/z3
Caracteristicas
Resolución de ecuaciones
Resolución de cálculos
Categorias
Educación y referencia
Alternativas a z3 para Linux con licencia de código abierto
Linux
Todas las plataformas
Windows
Mac
Linux
Android
iPhone
iPad
Web
BSD
Licencia de código abierto
Cualquier licencia
Licencia gratuita
Licencia de código abierto
Licencia comercial
