Este es un proyecto destinado a producir software para decidir el problema de la satisfacción probabilística (PSAT) bajo un enfoque lógico.
historial de versiones
- Versión PsatColGen publicado en 2011-03-16
Varias correcciones y actualizaciones - Versión N/A publicado en 2011-03-16
Detalles del programa
- Categoría: Red e Internet > Otro
- Editor: psat.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows