Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
regsy-examples [2010/05/28 19:27] jad.hamza |
regsy-examples [2010/05/28 19:29] (current) jad.hamza |
||
|---|---|---|---|
| Line 378: | Line 378: | ||
| christmas(elines, ilines, isyls, nsyls, line7, line8, nslines, nlines, tlines); | christmas(elines, ilines, isyls, nsyls, line7, line8, nslines, nlines, tlines); | ||
| </code> | </code> | ||
| + | ++++ | ||
| * Six-Modulo-Test | * Six-Modulo-Test | ||
| Line 413: | Line 414: | ||
| decomp(n,k); | decomp(n,k); | ||
| </code> | </code> | ||
| + | ++++ | ||
| * Company production | * Company production | ||
| Line 553: | Line 555: | ||
| constraints3(x1,x2,food1,food2) & maximize3(x1,x2,food1,food2); | constraints3(x1,x2,food1,food2) & maximize3(x1,x2,food1,food2); | ||
| </code> | </code> | ||
| + | ++++ | ||