Translate Relational Constraints to Boolean Formula
"yiqiuping1986" <[email protected]>
| Newsgroups | gmane.comp.java.objectweb.asm |
|---|---|
| Message-ID | <[email protected]> |
Hi, Now I want to add some relational constraints, such as a>= b, to SAT4J dynamically. I know SAT4j can not accept such constraints. So I should encode the constraints to boolean formula before passing it to SAT4J. Who can give me some suggestions what I should do to translate relational constraints to boolean formula？Or give me some documentation. 2010-08-09 yiqiuping1986
message-footer.txt
(text/plain, 238 B)
-- You receive this message as a subscriber of the [email protected] mailing list. To unsubscribe: mailto:[email protected] For general help: mailto:[email protected]?subject=help OW2 mailing lists service home page: http://www.ow2.org/wws