Si tratta di un progetto volto a produrre software per decidere il problema della soddisfacibilità probabilistica (PSAT) secondo un approccio logico.
cronologia delle versioni
- Versione PsatColGen pubblicato il 2011-03-16
Diverse correzioni e aggiornamenti - Versione N/A pubblicato il 2011-03-16
Dettagli del programma
- Categoria: Rete & Internet > Altro
- Editore: psat.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: Array
- Piattaforma: windows