Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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>​
 +++++
 
regsy-examples.txt · Last modified: 2010/05/28 19:29 by jad.hamza
 
© EPFL 2018 - Legal notice