A complete implementation of the OpenPGP standard as defined by RFC4880.
Write code using a high-level programming language.
Free Prolog compiler with constraint solving over finite domains