I | Attachment | History | Action | Size | Date | Who | Comment |
---|---|---|---|---|---|---|---|
zip | MATERIALE-MODULO1.zip | r1 | manage | 3965.6 K | 2008-03-12 - 08:54 | DarioGangi | Materiale del modulo 1 di laboratorio programmazione II, canale EO |
doc | SAT-mod1.doc | r1 | manage | 99.5 K | 2008-03-25 - 18:46 | DarioGangi | Appunti riguardanti il modulo 1 del progetto di Laboratorio di Programmazione I (by Donato Capitella) |
SatSolver.pdf | r1 | manage | 301.5 K | 2008-08-22 - 12:59 | DarioGangi | An Extensible Sat Solver |