tasksat
Python
★ 4
updated 20h ago
A domain-specific language and SMT-based tool for modeling, scheduling, and verifying task networks with temporal and resource constraints
No plain-English explanation yet — one is being written right now. Check back in a minute.