 |
|
|
|
 |
 |
 |
|
 |
 |
 |
|
 |
 |
 |
|
English
version
|
|
|
|
 |
|
||
 |
 |
|
|
 |
|
||
 |
- Download - Novità - F.A.Q. - Supporto - Scambio banner - Links e banner - Contatti |
 |
|
 |
|
||
|
|
|
|
|
|
||
|
|
|
|
|
|
||
|
-
Biliardo 2 - Laser Balls  - Mines and Flowers - Biliardo - Tetris Radiohead - Battaglia Navale - Impiccato - Gioco dell'oca - Batt. Navale Promo |
|
|
|
|
||
|
|
|
|
|
|
||
|
|
|
|
|
|
||
|
- Turnazioni - Scadenze - Cadute di tensione - Robot Mentor - Interruttori MT |
|
|
|
|
||
|
|
|
|
|
|
||
|
|
|
|
|
|
||
|
- Interprete JLP - CoSa |
|
|
|
|
||
CoSa
Informazioni
|
ScaricaScegli un server da cui scaricare il programma |
Italiano
Descrizione
Questo è un progetto realizzato per i corsi universitari di Ingegneria del Software e Intelligenza Artificiale. "CoSa" č un acronimo di "Constraint Satisfaction", cioč soddisfacimento di vincoli, infatti l'obiettivo di questo progetto č la realizzazione di un componente software in grado di risolvere problemi di soddisfacimento di vincoli, in inglese "Constraint Satisfaction Problems" (CSP). Si tratta di una libreria scritta in C++ in grado di poter esprimere, manipolare e risolvere questo tipo di problemi. Tutto questo è corredato da una applicazione per ambiente Windows avente un'interfaccia grafica atta a scrivere, impostare e risolvere i problemi a vincoli.
Per ulteriori informazioni consultare la pagina del progetto CoSa.
Schermate
Eccovi una videata del programma.
Collegamenti
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
© 2000-2002 by Marco Chiesi - Ultimo aggiornamento: | |
|
|
|
|
|