Skip to content

Latest commit

 

History

History
29 lines (23 loc) · 912 Bytes

TODO.md

File metadata and controls

29 lines (23 loc) · 912 Bytes
Raw

TODO

Contents Structure (beta)

  1. Introduzione
  2. CLP(SET)
  3. Picat
  4. Solver CLP(SET) in Picat
  5. Dettagli implementativi
  6. Uso del solver CLP(SET) da Picat
  7. Estensioni al solver di base
  8. Conclusione e lavori futuri

Contents Structure (alpha)

  1. Introduzione

  2. CLP(SET) 2.1. vincoli introduzione e differenza tra il paradigma di programmazione ad oggetti e quello logico (per fissare i concetti) definizione di CSP: struttura matematica, assegnamenti, soluzioni variazioni dei CSP: accenno ai finite domain, elenco di altri tipi di CSP qualche altra definizione tipo binray contraint accenno al COP

     obiettivo della progrmmazione con vincoli (costruita su) constriants and contraints solving (dire se esiste la soluzione, trovarne una, trovarne una ottima)

    2.2. clp 2.2. solver di clp 2.3. vincoli su insiemi