A domain-specific language and SMT-based tool for modeling, scheduling, and verifying task networks with temporal and resource constraints - View it on GitHub