----------------------------------------------------------------------
Changes since Muddy 1.7

* Upgraded to use and include Buddy 2.0.

* Upgraded to use Moscow ML 2.00, should still work with Moscow ML 1.44.

* Works on Windows.

* Rename of the type restriction to assignment.

* New function satone that returns a satisfying assigment.  Destructor
  for assignments: getAssignment.

* bvec changed to reflect changed in Buddy 2.0.
----------------------------------------------------------------------
