screencast for L3 has been posted

[Ras Bodik]

Hi all,

 

The screencast for L3 has been posted.  You may find it useful when working on HW2.  Additionally, I recommend going over the revised slides for L2, which will help you with forming formulas for verification, debugging, synthesis, and the unsat core.

 

http://www.cs.berkeley.edu/~bodik/cs294fa12

 

Please report any broken links.

 

--Ras