QWWERTY: Ano v tomhle máš pravdu, to jsem měl specifikovat lépe. Jde mě o nějakou zcela novou myšlenku. Nešlo mě o to, že něco šlo hůře udělat a teď to jde lépe, rychleji, levněji atd.
Uvedu příklad co jsem myslel. Než Ward Cunningham, vůbec zajímavý člověk, přišel s myšlenkou (vynalezl a implementoval) frameworku na integrační testování nebo první wiki, tak nic takového před tím nebylo. Takže byla originální myšlenka, která se pak rozšířila všude.
JANFROG: no právě, tak jako u mě :). Pěkný seznam hlavně ty SMT solvery - Z3 / CVC ;).