reset/solve — pull request #3 by andrewGarson (2012-09-25 23:25:10+00:00)
Title: Tracing

Adds tracing statements to the resolution algorithm

Provides a means to serialize and deserialize Solvers so they can be easily included in bug reports and then triaged

Requires json gem