[nem-pl] Meczing

["Paweł W. Olszta"]

Lukasz Kaiser wrote:

> Jesli to ten model checking, to generuje nie wieksza eksplozje niz SAT
> solvery. Robi sie go na roznych OBDD i dziala tak ze sie tego uzywa
> komercyjnie. Ale to ma niewiele wspolnego, bo tam jednym ze zrodel
> wykladniczosci jest struktura weryfikowanych formul ML. Poza tym ja tylko
> napisalem, ze mi sie podoba twoj pomysl i ze moze daloby sie go
> rozszerzyc, ale moze tobie sie juz nie podoba ?

Pogadamy jak przyjedziesz. Aha, grant jest IN PROCESS od 5 dni.

-- 
My opinions may have changed, but not the fact
that I am right. -- Ashley Brilliant