http://verify.stanford.edu/cs359a/

parallel: http://www.cs.ucsb.edu/research/tech_reports/reports/2003-05.pdf

SAT4J: http://www.sat4j.org/sat4joverview.pdf

Formal methods of software development
http://www.informatik.uni-bremen.de/agbkb/lehre/ws04-05/fmsd/

Idea for CSG 270:
Methods of software development 
Implement CSP solvers
Improved methods of software development

Use Alloy:
The Alloy Analyzer is a constraint solver that can find a graph satisfying a given constraint.

http://mit.edu/people/emina/kodkod.html
SAT4J

http://mit.edu/people/emina/papers/kk4a-talk.pdf
Use the KK tool

Relation variables: renaming?