Packages
savi.alg  
savi.alg.funcmin  
savi.alg.knapsack  
savi.alg.maxsat3  
savi.alg.sat3  
savi.alg.tsp  
savi.alg.weighsat3  
savi.dialogs  
savi.visualization  
savi.visualization.addons  
savi.visualization.support