Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=555161 --- Comment #2 from David A. Wheeler <dwheeler@xxxxxxxxxxxx> 2010-01-17 21:57:39 EST --- I did a simple "smoke test" and csisat worked. I ran it with: csisat and fed it the following input: a > 0 ; a < 4 It reported as output: Satisfiable: and [ (0 < a), (a < 4)] (I.E., it's possible to set "a" so that it's >0 and < 4.) -- 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review