diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-10-22 14:44:57 +1100 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-10-22 14:44:57 +1100 |
| commit | 86ca7448849aaaea6db34b1d2bcf8d99d7d7b12c (patch) | |
| tree | acc843137f53cfc8cb2b847374c3d06789a9505e /impl/test/7.soln | |
| parent | 39bcfdc55a09e437482768903f6093ab1dd60a61 (diff) | |
Okay, the solver is now correct.
It runs in two separate passes:
- improve strategy (for all)
- evaluate fixpoint
Unfortunately this loses out on locality at the moment.
I really want a local solver, so I'll have to see what I can do about
that.
Diffstat (limited to 'impl/test/7.soln')
| -rw-r--r-- | impl/test/7.soln | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/impl/test/7.soln b/impl/test/7.soln new file mode 100644 index 0000000..0d85468 --- /dev/null +++ b/impl/test/7.soln @@ -0,0 +1,8 @@ +x = 0 +y = 0 +a = 0 +b = 0 +c = 0 +d = 0 +e = 0 +f = 0 |