adding documentation for lessdecomp_sat issue#70#88

eleanorgb wants to merge 1 commit intomasterjules-lsm/jules-lsm.github.io:masterfrom

lessdecomp_satjules-lsm/jules-lsm.github.io:lessdecomp_satCopy head branch name to clipboard