Differences
This shows you the differences between two versions of the page.
|
pp:25:teme:haskell-sat [2025/05/02 15:29] mihnea.muraru [Precizări] |
pp:25:teme:haskell-sat [2025/05/08 23:34] (current) mihnea.muraru [Haskell: SAT Solving] |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| * Data publicării: 09.04.2025 | * Data publicării: 09.04.2025 | ||
| - | * Data ultimei modificări: 30.04.2025 | + | * Data ultimei modificări: 08.05.2025 |
| * Deadline hard: ziua laboratorului 10 | * Deadline hard: ziua laboratorului 10 | ||
| * [[https://curs.upb.ro/2024/mod/forum/view.php?id=152382|Forum]] | * [[https://curs.upb.ro/2024/mod/forum/view.php?id=152382|Forum]] | ||
| Line 285: | Line 285: | ||
| Modulul de interes din **schelet** este ''Solver'', care conține **operațiile** pe care trebuie să le implementați. Găsiți detaliile despre **funcționalitate** și despre **constrângerile de implementare**, precum și **exemple**, direct în fișier. Aveți de completat definițiile care încep cu ''%%*** TODO ***%%''. | Modulul de interes din **schelet** este ''Solver'', care conține **operațiile** pe care trebuie să le implementați. Găsiți detaliile despre **funcționalitate** și despre **constrângerile de implementare**, precum și **exemple**, direct în fișier. Aveți de completat definițiile care încep cu ''%%*** TODO ***%%''. | ||
| - | Pentru **rularea testelor**, încărcați în interpretor modulul ''TestSolver'' și evaluați ''main''. | + | Pentru **rularea testelor**, încărcați în interpretor modulul ''TestSolver'' și evaluați ''main''. Ultimul test (''stress'') utilizează grafuri mai mari și execuția poate dura câteva secunde. |
| Este suficient ca arhiva pentru **vmchecker** să conțină modulele ''Solver'', ''ExtendedFormula'' din etapa 2 și ''Formula'' din etapa 1. | Este suficient ca arhiva pentru **vmchecker** să conțină modulele ''Solver'', ''ExtendedFormula'' din etapa 2 și ''Formula'' din etapa 1. | ||
| Line 302: | Line 302: | ||
| ===== Changelog ===== | ===== Changelog ===== | ||
| + | * 08.05 (23:30): Publicat testele etapei 3 și actualizat tipurile ''Graph'', ''Color'' și ''ThreeColoring'' din ''Solver.hs'' cu ''deriving (Show, Eq)'' în loc de ''deriving Show''. | ||
| * 30.04 (22:30): Publicat etapa 3, momentan fără teste | * 30.04 (22:30): Publicat etapa 3, momentan fără teste | ||
| * 27.04 (09:50): Etapa 2: Actualizat teste ''backtrackToUnitClause'' | * 27.04 (09:50): Etapa 2: Actualizat teste ''backtrackToUnitClause'' | ||
