Programmi di dischoco.sf.net

Una forma piastra per la programmazione a vincoli distribuiti. Vengono implementati diversi algoritmi di ragionamento a vincoli distribuiti (come ABT, AFC, Adopt, ...). Gli utenti possono facilmente implementare e testare i p