MicrographyQRCodes. This is the C++ implementation of the paper [Micrography QR Codes (IEEE TVCG 2019)]
RCPSP_SMT. SMT-based Resource-Constrained Project Scheduling Problem Solver
