El Proyecto Dolphin pretende ser un proyecto de investigación que agrega herramientas relacionadas con las herramientas y herramientas de Resolución de Satisfacción de Código Abierto relacionadas con ellas como Damas de Modelo Limitado y Verificadores de Software.
historial de versiones
- Versión Dolphin%20SAT%200.1.1 publicado en 2008-03-02
Varias correcciones y actualizaciones - Versión Dolphin SAT 0.1.1 publicado en 2008-03-02
Detalles del programa
- Categoría: Educación > Otro
- Editor: dolphin-project.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: 0.1.1
- Plataforma: windows