[Bug 555161] Review Request: csisat - Tool for LA+EUF Interpolation

[bugzilla at redhat.com]

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 at dwheeler.com> 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.