Skip to content

Characterize limits of DD orientation predicate soundness over arbitrary doubles (#1106)#1197

Open
grootstebozewolf wants to merge 5 commits into
locationtech:masterfrom
grootstebozewolf:feature/orientation-robustness-tests
Open

Characterize limits of DD orientation predicate soundness over arbitrary doubles (#1106)#1197
grootstebozewolf wants to merge 5 commits into
locationtech:masterfrom
grootstebozewolf:feature/orientation-robustness-tests

Note independent oracle corroboration of the DD counterexample hunter

afa2b46
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs