TOY 2.3.1 has been released. "TOY is a constraint functional logic system, designed to support the main declarative programming styles and their combination."
This release includes bug fixes.