Clarifications about the first home assignment | |
Hello all, 1. Due to some questions regarding the first home assignments I added more details to the second part of the first question. The sheet is updated. 2. In the implementation section, I suggest building MiniSAT with cmake: In the minisat directory you can run: mkdir build cd build cmake -L ../ -DCMAKE_BUILD_TYPE=Debug cmake --build . All the build files will be under the build directory. SHABAT SHALOM, Yakir |
פורסם ב-5/7/2024, 11:08:30 Created on 5/7/2024, 11:08:30 Создано5/7/2024, 11:08:30 تم النشر ب-5/7/2024, 11:08:30 |
First home assignment is published | |
Hi all, The first home assignment is now available. Due date: July 11. Good luck! |
פורסם ב-25/6/2024, 13:52:13 Created on 25/6/2024, 13:52:13 Создано25/6/2024, 13:52:13 تم النشر ب-25/6/2024, 13:52:13 |
Reminder | |
Hi all, This is just a reminder that today's lecture takes place at Taub 8. Yakir |
פורסם ב-5/6/2024, 13:01:05 Created on 5/6/2024, 13:01:05 Создано5/6/2024, 13:01:05 تم النشر ب-5/6/2024, 13:01:05 |
Lecture Room | |
Hi all, Our next lectures will take place at Taub 8. See you there! Yakir |
עדכון אחרון ב-4/6/2024, 12:42:57 Last updated on 4/6/2024, 12:42:57 Последняя модификация4/6/2024, 12:42:57 تمت الحتلنة الأخيرة ب-4/6/2024, 12:42:57 |
הרצאות Lectures Lectures Lectures | |
Hello all, During this semester all lectures will be held at Davis 640. If you sent me a registration email and the course does not appear on your schedule, please let me know today. See you soon, Yakir |
פורסם ב-29/5/2024, 09:20:12 Created on 29/5/2024, 09:20:12 Создано29/5/2024, 09:20:12 تم النشر ب-29/5/2024, 09:20:12 |