Логические операции по ограничениям в библиотеке Google или Tools ⇐ C#

[Anonymous]

Я новичок в программировании ограничений, и я использую библиотеку Google или Tools в моей программе C#.

Код: Выделить всё

((t1 >= 12 && t1 = 16 && t2 
Поэтому я пишу следующий кусок кода в 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 

Подробнее здесь: [url]https://stackoverflow.com/questions/27814935/boolean-operations-on-constraints-in-google-or-tools-library[/url]