Formal constraint-based compilation for noisy intermediate-scale quantum systems