diff options
| author | Zancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au> | 2012-11-01 18:06:13 +1100 |
|---|---|---|
| committer | Zancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au> | 2012-11-01 18:06:13 +1100 |
| commit | b7eaa99578037789a337c5061c0ea8ee3150b63c (patch) | |
| tree | e63a023a85ef167760f55229c1d96fbcaaa1c64e /impl/test/10.soln | |
| parent | e207a8fec1bae01068bdb3a27a2090a4af5f8cb2 (diff) | |
A bunch of fixes to the solver, and moving it in to clang.
Also some contribution writing stuff.
Basically: lots of work.
Diffstat (limited to 'impl/test/10.soln')
| -rw-r--r-- | impl/test/10.soln | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/impl/test/10.soln b/impl/test/10.soln index 20a47ca..238b7d5 100644 --- a/impl/test/10.soln +++ b/impl/test/10.soln @@ -1,9 +1,9 @@ -x = 0 -w = 0 -y = 0 -z = 0 -u = 0 a = 0 b = 0 c = 0 d = 0 +u = 0 +w = 0 +x = 0 +y = 0 +z = 0 |