Boolesche Operationen zu Einschränkungen in der Google Or-Tools-Bibliothek ⇐ C#

[Anonymous]

Ich bin ein Anfänger in der Einschränkungsprogrammierung und ich verwende die Google oder-Tools-Bibliothek in meinem C# -Programm.

Code: Select all

((t1 >= 12 && t1 = 16 && t2 
Also schreibe ich das folgende Code -Stück in C#: < /p>
var solver = new Solver("My_CP_Colver");
var t1 = solver.MakeIntVar(12, 20,"t1");
var t2 = solver.MakeIntVar(12, 20,"t2");

solver.Add(???)//= 12 && t1 = 16 && t2