This shows you the differences between two versions of the page.
pp:25:teme:haskell-sat [2025/05/08 23:33] 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]] |