forked from google/or-tools
-
Notifications
You must be signed in to change notification settings - Fork 0
/
issue62.py
executable file
·29 lines (25 loc) · 1013 Bytes
/
issue62.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#!/usr/bin/env python3
from ortools.constraint_solver import pywrapcp
def main():
solver = pywrapcp.Solver('Ordo')
tasks = [solver.FixedDurationIntervalVar(0, 25, 5, False, 'Tasks%i' %i)
for i in range(3)]
print(tasks)
disj = solver.DisjunctiveConstraint(tasks, 'Disjunctive')
sequence = []
sequence.append(disj.SequenceVar())
solver.Add(disj)
collector = solver.AllSolutionCollector()
collector.Add(sequence)
collector.Add(tasks)
sequencePhase = solver.Phase(sequence, solver.SEQUENCE_DEFAULT)
intervalPhase = solver.Phase(tasks, solver.INTERVAL_DEFAULT)
mainPhase = solver.Compose([sequencePhase, intervalPhase])
solver.Solve(mainPhase, [ collector])
print(collector.SolutionCount())
for i in range(collector.SolutionCount()):
print("Solution " , i)
print([collector.StartValue(i, tasks[j]) for j in range(3)])
print([collector.EndValue(i, tasks[j]) for j in range(3)])
if __name__ == '__main__':
main()