Class PRESENT

• Defined in theory: Unrestricted-time
• Source code: Unrestricted-Time.lisp