An implementation of distributed knowledge for SMCDEL by Bas Laarakker, Umberto Tarantino, and me:

• source code
• report