This program introduces formal verification to card-based cryptography by providing a technique which automatically finds new protocols using as few as possible operations and searches for lowest b…

Optolith Character Manager is a desktop application for The Dark Eye 5th Edition.