Tamkin04iut
Tamkin04iut, you are invited to the Teahouse
editHi Tamkin04iut! Thanks for contributing to Wikipedia. |
Disambiguation link notification for April 20
editHi. Thank you for your recent edits. Wikipedia appreciates your help. We noticed though that when you edited Conflict Driven Clause Learning, you added a link pointing to the disambiguation page Restart (check to confirm | fix with Dab solver). Such links are almost always unintended, since a disambiguation page is merely a list of "Did you mean..." article titles. Read the FAQ • Join us at the DPL WikiProject.
It's OK to remove this message. Also, to stop receiving these messages, follow these opt-out instructions. Thanks, DPL bot (talk) 12:17, 20 April 2013 (UTC)
CDCL Images
editThanks for your images at Conflict-driven clause learning. A friend has pointed out to me that there is a minor problem with Image 6 and later - there is some text underneath and partially obscuring the X2=0 in the lower left corner. Is there something you can do about that? --Stephan Schulz (talk) 13:30, 23 May 2020 (UTC)