Execute Ramsey Mathprog: Difference between revisions

Content added Content deleted
No edit summary
No edit summary
Line 1: Line 1:
/*Ramsey 4 4 17

This model finds a graph with 17 Nodes such that no clique of 4 Nodes is either fully
connected, nor fully disconnected

Nigel_Galloway
January 5th., 2012
*/

var Arc_1_2 , binary;
var Arc_1_2 , binary;
var Arc_1_3 , binary;
var Arc_1_3 , binary;