chiark / gitweb /
A user points out that Loopy's solver relies on elements of the