[Xsb-development] Package Improvement

[<ts...@cs...>]

On another note, there is now a new and much-documented Smodels
interface available for those who get past our idiosyncracies.  Among
other things, the new interface supports weight-constraint rules.

Terry