Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

comfusy-examples [2010/01/17 11:38]
philippe.suter
comfusy-examples [2012/05/12 13:11] (current)
losa
Line 3: Line 3:
   * ''​ScaleWeights''​   * ''​ScaleWeights''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 38: Line 37:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​SecondsToTime''​   * ''​SecondsToTime''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 63: Line 60:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​SetConstraints''​   * ''​SetConstraints''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 91: Line 86:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​SplitSetsInABalancedWay''​   * ''​SplitSetsInABalancedWay''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 122: Line 115:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​FastExponentiation''​   * ''​FastExponentiation''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 149: Line 140:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​PrimeHeuristic''​   * ''​PrimeHeuristic''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 173: Line 162:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​NewYearSong''​ (similar code with fewer variables was used to compute the distribution of names in [[http://​www.youtube.com/​watch?​v=E2aPFdu0FNA|this song]])   * ''​NewYearSong''​ (similar code with fewer variables was used to compute the distribution of names in [[http://​www.youtube.com/​watch?​v=E2aPFdu0FNA|this song]])
- 
-++++click to reveal the code| 
  
 <code scala> <code scala>
Line 212: Line 198:
 } }
 </​code>​ </​code>​
-++++ 
 
comfusy-examples.txt · Last modified: 2012/05/12 13:11 by losa