Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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