add xor sat algorithm (#4) · Issues · aalbert / LogIA