We now don't build a robot if our production rate of it resource is
enough to build a new robot of the most expensive kind every minute.
needed←(𝕩⊏robot_costs)-stock
needed_time←1+0⌈⌈´⌈NtZ needed÷robots
# Build a robot if there's time and we might need it.
- (needed_time≤time)∧(𝕩⊑stock<max_costs×time) ?
+ (needed_time≤time)∧(𝕩⊑stock<max_costs×time)∧(𝕩⊑robots<max_costs) ?
Search ⟨time-needed_time
(stock+robots×needed_time)-𝕩⊏robot_costs
(1⊸+)⌾(𝕩⊸⊑)robots⟩;