Adding various implementations, documenations, and demos of David Vardi indicators