Code Party 0
is coming up! Important
: We have moved to EV3 1408
If you are interested in the Code Retreat, read this Google doc
for how things are going to go down.
If you are not interested in code retreat, it's still totally fine if
you bring your own project. Come out, free food awaits!
is scheduled for 6pm on March 3rd, a Tuesday, in MC 2038. The SAT and
SMT theories combined allow you to programmatically determine whether a
computer program is satisfiable or not. Will there be free food? Good
Are you interested? Understandable.