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