7 May
2008
7 May
'08
9:59 p.m.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report.
Summary: Review Request: mona - a solver for the WS1S and WS2S logics
https://bugzilla.redhat.com/show_bug.cgi?id=436033
loganjerry@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CLOSED Resolution| |NEXTRELEASE
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.