The Helios Verifier
================

LICENSE: this code is released under the GPL v3 or later.