#619 Is intersection empty for polytopes#624

Merged

mforets merged 9 commits intomasterfrom mforets/619

Sep 18, 2018

+121-4

Commits on Sep 12, 2018

add is intersection empty
mforets
committed

Commits on Sep 16, 2018

update vertices list
mforets
committed

Commits on Sep 17, 2018