Assumption tilings#353

Draft

enadeau wants to merge 48 commits intodevelopfrom

assumption-tilings

Commits on Aug 25, 2021

create the general fusion algorithm
christianbean
committed

Commits on Sep 14, 2021

method to compute preimage
christianbean
committed

Commits on Sep 16, 2021

add methods to clean empty rows and cols, add obstructions and requirements
christianbean
committed

Commits on Sep 22, 2021

Commits on Sep 23, 2021

new assumption cell map (#355)
enadeau
authored

Commits on Sep 24, 2021

Merge branch 'develop' into assumption-tilings
enadeau
committed

Commits on Sep 28, 2021

Param counter (#356)
enadeau
authored

Commits on Sep 29, 2021

Fix requirement insertion on preimage counter (#358)
enadeau
authored

Commits on Oct 6, 2021

Commits on Oct 14, 2021

Activate row column test (#368)
enadeau
authored

Commits on Oct 15, 2021

deleting comp fusion, and hopefully tests now "work" (#370)

christianbean
and
enadeau
authored

Commits on Oct 27, 2021

Commits on Oct 29, 2021

Commits on Nov 2, 2021

Commits on Nov 9, 2021

Merge branch 'develop' into assumption-tilings
enadeau
committed

Commits on Nov 15, 2021

displayed legends include label for preimages (#387)
enadeau
authored

Commits on Nov 16, 2021

Getting the component tree (#384)

enadeau
and
christianbean
authored

Commits on Nov 19, 2021

Rectrictin the removal of preimage req strategy (#392)

enadeau
and
christianbean
authored

Commits on Nov 23, 2021

Commits on Nov 25, 2021

Merge branch 'develop' into assumption-tilings
christianbean
committed

Commits on Nov 30, 2021

Rearrange parameter strategy (#401)
christianbean
authored

Commits on Dec 2, 2021

Commits on Dec 4, 2021

Verification off (#396)
christianbean
authored