Being van RCPSP naar SAT script