Részemről a megfelelően kivitelezett objektív elemzésben hiszek és annak eredményében. Remélem, hogy ebben az egyben egyetértünk.
Ebben teljesen. De azt, hogy az iparban elérhető solverek, mint CPLEX/Xpress/Gurobi/Knitro/... - az összeset nem sorolom fel - nem felelnek meg az általános céloknak, nagyméretű problémák esetén, minden tisztelettel, de nem hiszem el.
Olyan igen, létezik, hogy egy nagyon egyedi, különleges problémára születik egy solver - de ez messze nem az általános eset, hanem az erős kivétel. Az eddigiek alapján az látszik, azért a saját általános célú solver, mert azzal olyat is tudsz paraméterezni, amiért egy "normális" (értsd jól) solver elhajt - joggal.
Persze, mint a crypto esetén, természetesen itt is előfordulhat a világmegváltás - csak valószínűtlen, és nem is számítok ilyesmire (ahogy ott sincs algoritmus szinten nagy mozgolódás, úgy a matematikai solvereknél sem, amennyire nyomon követem). De írjuk ezt a saját szkepticismusom számlájára, amit te csinálsz, biztosan jó.. hiszen megkapor azokat a számokat, amiket látni akarsz.:)