yav/tc-solver — Issue #1: Computing transitive facts may loop.
Author: yav
Created: 2011-11-11 02:39:35+00:00
State: open

1. G: x = 2 * x
2. W: x = (2 * y)