Recent questions tagged or

0 votes

817 views

1 answer

or tools - Possible integer overflow in constraint: linear

Dears, I'm using CP-SAT in python. I have two variables: pippo = model.NewIntVar(-93372036854775808 ... .com/questions/65887660/possible-integer-overflow-in-constraint-linear...

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

880 views

1 answer

or tools - Does the domain of an IntVar affect the performance of a CP-SAT solver

Dears, I normally specify big IntVar even if they are not needed: model.NewIntVar(-93372036854775808, 9123372036854775807, ' ... an-intvar-affect-the-performance-of-a-cp-sat-solver...

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

859 views

1 answer

or tools - CP-SAT to balance task assignment

Dears, I'm wondering if CP-SAT as any built-in function that allow me to balance the number of tasks ... ://stackoverflow.com/questions/65951668/cp-sat-to-balance-task-assignment...

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

2.3k views

1 answer

or tools - ORTOOLS CP SAT - XOR and AND combined

I am still learning ORTOOLS CP-SAT which is a great tool! I am getting into boolean operations difficulties. For instance in ... # it should end this way: model.AddBoolXOr(???)...

asked Jan 27, 2021 in Technique[技术] by 深蓝 (71.8m points)

Categories

Just Browsing Browsing

Most popular tags