choco3 and explaination

Brought to you by: alxpgr, arnaud_m, cprudhom, grochart, and 3 others

choco3 and explaination

Forum: Help

Creator: meriam

Created: 2014-10-21

Updated: 2014-10-21

meriam - 2014-10-21

Hi,
How to use explanation in choco3 to know why a problem has no solution?
Thanks

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.