| chiusura Una risposta imposta il risolutore per programmi logici normali o estesi. |
Scarica ora |
chiusura Classifica e riepilogo
- Nome editore:
- University of Applied Sciences Potsdam
- Sistemi operativi:
- Windows All
- Dimensione del file:
- 408 KB
chiusura Tag
chiusura Descrizione
La clip consente un'implementazione del set di algoritmo di programmazione della risposta che consente di risolvere i normali programmi logici. Il metodo si basa sulla tecnica di apprendimento Nogood guidato da conflitto. È possibile utilizzare questo strumento come risolutore ASP, SOLL SOLL o SOLVER PB per i tuoi progetti che coinvolgono la risoluzione della risposta.
chiusura Software correlato