[Jenkins]Jenkins
log in

Changes

Summary

  1. Heuristic: when only one border known set other to ±½a (commit: a47cadf) (details)
  2. Resolve ambiguous references. (commit: 780dd7c) (details)
Commit a47cadf11d8400648f8022f5a164fea03c18b351 by Thorsten Vitt
Heuristic: when only one border known set other to ±½a
 (commit: a47cadf)
The file was modified datings.py (diff)
Commit 780dd7c2d6952eb4b53bc9e38e00244643b698c9 by Thorsten Vitt
Resolve ambiguous references.
We're just duplicating the edges for each witness, and then removing the 
ambiguous references.
Fixes #2
 (commit: 780dd7c)
The file was modified graph.py (diff)