![]() ![]() to solve a CSP problem in textual format using the direct encoding. ![]() to solve a CSP problem in textual format using the default encoding. Note that SAT4J does not contain a real CSP solver: it translates CSP problems given in extension into SAT problems to solve them. Note that the input format was textual for release 1.5 (using the First CSP competition table format) and is now XML because of the new XML CSP format 2.0 designed for the Second CSP competition. CSP capabilities is available since release 1.5 of the library.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |