Zucchero

Un risolutore di vincoli basato sui satelliti
Scarica ora

Zucchero Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • BSD
  • Prezzo:
  • FREE
  • Nome editore:
  • Naoyuki Tamura
  • Sito web dell'editore:
  • http://bach.istc.kobe-u.ac.jp/tamura.html
  • Sistemi operativi:
  • Mac OS X
  • Dimensione del file:
  • 603 KB

Zucchero Tag


Zucchero Descrizione

Lo zucchero č un risolutore gratuito e open source di un problema di soddisfazione dei vincoli lineari finiti (CSP) o un problema di ottimizzazione dei vincoli (COP) .Sugar codifica i problemi in un problema di test di soddisfazione booleano (SAT) e risolve il problema SAT utilizzando un esterno SOLL SOLVER. L'utensile dello zucchero impiega un nuovo metodo di codifica SAT denominata "Encodifica ordine". Nella codifica dell'ordine, un confronto x


Zucchero Software correlato

StylegridexCeleSporter.

StylegridexCeleSporter - Classe realbasica da esportare dal controllo di Einhugur Stylegrid al formato di file MS Excel ...

141 211 KB

Scarica

Chi siamo