English:
SATFitness counts bad value: if a formule is not satisfied negative value is ok. If the formule is satisfied it return max weight minus current, so the best will be around positive zero neighborhood. But Simelated Annealing search as the best greater value — so there will not be found the best solution.
Czech:
SATFitness vrací špatně value. Definované to je takto: vracej negativní hodnoty, když formule není splněná, čím více klauzulí je true, tím více se blížíme k nule. To je v pořádku. Dále, vracej pozitivní, když formule s danou konfigurací je splněná, čím lepší řešení tím blíže k nule. Ale simulované ochlazování hledá a bere větší hodnotu jako lepší — a SATFitness myslí jako lepší menší hodnotu, takže nikdy nedostaneme nejlepší řešení.
Location: SATFitness#getValue