Localizador incremental de árbol
Una plantilla para Clarion que agrega una ubicación incremental a los cuadros de lista ...
1.2 MB
 | Scalaz3Un paquete de enlaces JNI que le permite usar Scala y Z3 |
| Descargar ahora | |
Scalaz3 Clasificación y resumen
Anuncio publicitario
- Licencia:
- Freeware
- Nombre del editor:
- Philippe Suter
- Sistemas operativos:
- Windows All
- Tamaño del archivo:
- 521 KB
Scalaz3 Etiquetas
Scalaz3 Descripción
Scalaz3 es una interfaz Scala que le permite trabajar con la aplicación Z3 desarrollada por Microsoft. El paquete incluye los enlaces JNI que le permiten interactuar con el SMT Solver. Este componente le permite combinar las capacidades del lenguaje de programación Scala con las características de prueba del teorema de la Z3.
Scalaz3 Software relacionado
Ultimate Mail Expert Suite
Suite de correo profesional para .NET que incluye todos los componentes de correo ...
26.2 MB
