自从半年前第一次用 z3 之后，现在做任何优化或者调度的任务，首先想能不能用 z3 解决。Constraints based programming 很符合偷懒的思维方式。
#发自zSMTH@Moto Z3 Play
--
FROM 188.67.236.*