Small changes to fix bugs.
Merge branch 'master' of https://github.com/ivanberia/631_final_project
Small changes. removed printing model.
Merge branch 'master' of https://github.com/ivanberia/631_final_project
Merge branch 'master' of https://github.com/ivanberia/631_final_project

Conflicts:
	proxyclass.rb
Small fixes to z3.rb.
merging
Merge branch 'master' of https://github.com/ivanberia/631_final_project

Conflicts:
	proxyclass.rb