1 May
2008
1 May
'08
5:16 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
rjones@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|nobody@fedoraproject.org |rjones@redhat.com
--
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.