Lab 0: Welcome to 290 (Due: Tue, Sep 10 at 11:59 PM)
Lab 1: Set implementation (Due: Mon, Sep 16 at 11:59 PM)
Lab 2: Practice with sets (Due: Wed, Sep 18 at 11:59 PM)
Lab 3: Efficiently enumerating subsets (Due: Wed, Sep 25 at 11:59 PM)
Lab 4: Sat Solver (Due: Wed, Oct 2 at 11:59 PM)
Lab 5: Sat Solver, Part 2 (Due: Wed, Oct 9 at 11:59 PM)
Lab 6: Logical Normal Forms, Part 1 (Due: Wed, Oct 23 at 11:59 PM)
Lab 7: Logical Normal Forms, Part 2 (Due: Wed, Oct 30 at 11:59 PM)
Lab 8: Counting Tic-Tac-Toe Boards (Due: Wed, Nov 6 at 11:59 PM)
Lab 9: Bloom Filters (Due: Fri, Nov 22 at 11:59 PM)
Lab 10: Transitive Closure (Due: Mon, Dec 9 at 11:59 PM)
Lab 11: Practice problems (Due: Wed, Dec 11 at 11:59 PM)