User manual This manual describes the functions of the BIMpermit software. Table of contents System requirements Project organisation Model viewer Formal rule checking Technical rule checking Rule editor Ticket system Example data