chiusura

Una risposta imposta il risolutore per programmi logici normali o estesi.
Scarica ora

chiusura Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Freeware
  • 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

Quint2.

Un browser per le caratteristiche di qualità del software. ...

9 1 KB

Scarica