[Javapathfinder-user] question about symbc

[Taehoon L. <ta...@kg...>]

Hi,

I think that only one decision procedure is used in symbc,
Do you have any plan to support another decision procedure such as
yices, cvc

-- 
------------------------------------------------------
Taehoon Lee

Ph.D candidate
Department of Computer Science
Kyonggi University
San94-6, Yiui-dong, Yongtong-gu, Suwon-si, 442-760, South Korea
TEL: +82-11-9932-2732
EMAIL: ta...@kg...
-------------------------------------------------------