1. Forum
  2. Usenet
  3. SCI.LOGIC

  • Nut Cracker Challenge 2023/2024: SAT Sudoku

    From Mild Shock@21:1/5 to All on Thu Nov 30 00:11:17 2023
    Now there was this article:

    Logic Puzzles and SAT Solvers: A match made in heaven. https://sabhijit.medium.com/logic-puzzles-and-sat-solvers-a-match-made-in-heaven-5e0a7a64c04b

    Unfortunately it didn't even mention one of the Prolog
    libraries for SAT solving. Can this situation be changed?
    How would we do Sudoku in SAT solving? Is it worth?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jeff Barnett@21:1/5 to All on Fri Dec 1 22:44:02 2023
    T24gMTIvMS8yMDIzIDI6MTkgUE0sIERhbmllbCBQZWhvdXNoZWsgd3JvdGU6DQo+IE9uIFRo dXJzZGF5LCBOb3ZlbWJlciAzMCwgMjAyMyBhdCAzOjExOjIw4oCvQU0gVVRDLTUsIE1pbGQg U2hvY2sgd3JvdGU6DQo+PiBOb3cgdGhlcmUgd2FzIHRoaXMgYXJ0aWNsZToNCj4+DQo+PiBM b2dpYyBQdXp6bGVzIGFuZCBTQVQgU29sdmVyczogQSBtYXRjaCBtYWRlIGluIGhlYXZlbi4N Cj4+IGh0dHBzOi8vc2FiaGlqaXQubWVkaXVtLmNvbS9sb2dpYy1wdXp6bGVzLWFuZC1zYXQt c29sdmVycy1hLW1hdGNoLW1hZGUtaW4taGVhdmVuLTVlMGE3YTY0YzA0Yg0KPj4NCj4+IFVu Zm9ydHVuYXRlbHkgaXQgZGlkbid0IGV2ZW4gbWVudGlvbiBvbmUgb2YgdGhlIFByb2xvZw0K Pj4gbGlicmFyaWVzIGZvciBTQVQgc29sdmluZy4gQ2FuIHRoaXMgc2l0dWF0aW9uIGJlIGNo YW5nZWQ/DQo+PiBIb3cgd291bGQgd2UgZG8gU3Vkb2t1IGluIFNBVCBzb2x2aW5nPyBJcyBp dCB3b3J0aD8NCj4gc3Vkb2t1IGlzIGEgY29sb3JpbmcgcHJvYmxlbS4NCj4gc2FtcGxlczog YzNkNW4yNTAsIGM0ZDluMTUwDQo+IGZpZnRoIGFuZCBuaW50aCBkZWdyZWUgdGhyZWUgYW5k IGZvdXIgY29sb3JpbmcuDQo+IG15IHByb2dyYW0gZmluZHMgYWxsIHNhdGlzZnlpbmcgbW9k ZWxzIHRoZSBzb2x2ZXMgcHNwYWNlIGluIGxpbmVhciB0aW1lLg0KPiBkYW5pZWwyMzgwKysr DQoNCkxpbmVhciB0aW1lISBEb2VzIHRoYXQgbWVhbiB0aGF0IHRpbWUgdG8gc29sdmUgaXMg Ym91bmRlZCBrKm1eNCtjIGZvciANCnNvbWUgY29uc3RhbnRzIGsgYW5kIGMgYXMgbiBpbmNy ZWFzZXM/IChuIGlzIDMgZm9yIHRoZSB1c3VhbCBnYW1lLikgSWYgDQpteSBndWVzcyBpcyBu b3Qgd2hhdCB5b3UgbWVhbnQsIHBsZWFzZSBpbmZvcm1zIHVzIG9mIHdoYXQgeW91ciBjbGFp bSANCmRvZXMgbWVhbi4NCi0tIA0KSmVmZiBCYXJuZXR0DQoNCg==

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jeff Barnett@21:1/5 to All on Sun Dec 3 16:02:37 2023
    T24gMTIvMS8yMDIzIDEwOjQ0IFBNLCBKZWZmIEJhcm5ldHQgd3JvdGU6DQo+IE9uIDEyLzEv MjAyMyAyOjE5IFBNLCBEYW5pZWwgUGVob3VzaGVrIHdyb3RlOg0KPj4gT24gVGh1cnNkYXks IE5vdmVtYmVyIDMwLCAyMDIzIGF0IDM6MTE6MjDigK9BTSBVVEMtNSwgTWlsZCBTaG9jayB3 cm90ZToNCj4+PiBOb3cgdGhlcmUgd2FzIHRoaXMgYXJ0aWNsZToNCj4+Pg0KPj4+IExvZ2lj IFB1enpsZXMgYW5kIFNBVCBTb2x2ZXJzOiBBIG1hdGNoIG1hZGUgaW4gaGVhdmVuLg0KPj4+ IGh0dHBzOi8vc2FiaGlqaXQubWVkaXVtLmNvbS9sb2dpYy1wdXp6bGVzLWFuZC1zYXQtc29s dmVycy1hLW1hdGNoLW1hZGUtaW4taGVhdmVuLTVlMGE3YTY0YzA0Yg0KPj4+DQo+Pj4gVW5m b3J0dW5hdGVseSBpdCBkaWRuJ3QgZXZlbiBtZW50aW9uIG9uZSBvZiB0aGUgUHJvbG9nDQo+ Pj4gbGlicmFyaWVzIGZvciBTQVQgc29sdmluZy4gQ2FuIHRoaXMgc2l0dWF0aW9uIGJlIGNo YW5nZWQ/DQo+Pj4gSG93IHdvdWxkIHdlIGRvIFN1ZG9rdSBpbiBTQVQgc29sdmluZz8gSXMg aXQgd29ydGg/DQo+PiBzdWRva3UgaXMgYSBjb2xvcmluZyBwcm9ibGVtLg0KPj4gc2FtcGxl czogYzNkNW4yNTAsIGM0ZDluMTUwDQo+PiBmaWZ0aCBhbmQgbmludGggZGVncmVlIHRocmVl IGFuZCBmb3VyIGNvbG9yaW5nLg0KPj4gbXkgcHJvZ3JhbSBmaW5kcyBhbGwgc2F0aXNmeWlu ZyBtb2RlbHMgdGhlIHNvbHZlcyBwc3BhY2UgaW4gbGluZWFyIHRpbWUuDQo+PiBkYW5pZWwy MzgwKysrDQo+IA0KPiBMaW5lYXIgdGltZSEgRG9lcyB0aGF0IG1lYW4gdGhhdCB0aW1lIHRv IHNvbHZlIGlzIGJvdW5kZWQgayptXjQrYyBmb3IgDQo+IHNvbWUgY29uc3RhbnRzIGsgYW5k IGMgYXMgbiBpbmNyZWFzZXM/IChuIGlzIDMgZm9yIHRoZSB1c3VhbCBnYW1lLikgSWYgDQo+ IG15IGd1ZXNzIGlzIG5vdCB3aGF0IHlvdSBtZWFudCwgcGxlYXNlIGluZm9ybXMgdXMgb2Yg d2hhdCB5b3VyIGNsYWltIA0KPiBkb2VzIG1lYW4uDQoNCllvdSByZWFsbHkgY2FuJ3QgYW5z d2VyIGEgc2ltcGxlIHF1ZXN0aW9uIGJhc2VkIG9uIHlvdXIgb3duIHVzZSBvZiANCmxhbmd1 YWdlPyBJJ20gc3VyZSBNY0NhcnRoeSB3b3VsZCBiZSBkaXNhcHBvaW50ZWQgaW4geW91IGlm IGhlIHNhdyB5b3Ugbm93Lg0KLS0gDQpKZWZmIEJhcm5ldHQNCg0K

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jeff Barnett@21:1/5 to All on Sun Dec 3 22:49:40 2023
    T24gMTIvMy8yMDIzIDc6MjIgUE0sIERhbmllbCBQZWhvdXNoZWsgd3JvdGU6DQo+IE9uIFN1 bmRheSwgRGVjZW1iZXIgMywgMjAyMyBhdCA2OjAyOjQy4oCvUE0gVVRDLTUsIEplZmYgQmFy bmV0dCB3cm90ZToNCj4+IE9uIDEyLzEvMjAyMyAxMDo0NCBQTSwgSmVmZiBCYXJuZXR0IHdy b3RlOg0KPj4+IE9uIDEyLzEvMjAyMyAyOjE5IFBNLCBEYW5pZWwgUGVob3VzaGVrIHdyb3Rl Og0KPj4+PiBPbiBUaHVyc2RheSwgTm92ZW1iZXIgMzAsIDIwMjMgYXQgMzoxMToyMOKAr0FN IFVUQy01LCBNaWxkIFNob2NrIHdyb3RlOg0KPj4+Pj4gTm93IHRoZXJlIHdhcyB0aGlzIGFy dGljbGU6DQo+Pj4+Pg0KPj4+Pj4gTG9naWMgUHV6emxlcyBhbmQgU0FUIFNvbHZlcnM6IEEg bWF0Y2ggbWFkZSBpbiBoZWF2ZW4uDQo+Pj4+PiBodHRwczovL3NhYmhpaml0Lm1lZGl1bS5j b20vbG9naWMtcHV6emxlcy1hbmQtc2F0LXNvbHZlcnMtYS1tYXRjaC1tYWRlLWluLWhlYXZl bi01ZTBhN2E2NGMwNGINCj4+Pj4+DQo+Pj4+PiBVbmZvcnR1bmF0ZWx5IGl0IGRpZG4ndCBl dmVuIG1lbnRpb24gb25lIG9mIHRoZSBQcm9sb2cNCj4+Pj4+IGxpYnJhcmllcyBmb3IgU0FU IHNvbHZpbmcuIENhbiB0aGlzIHNpdHVhdGlvbiBiZSBjaGFuZ2VkPw0KPj4+Pj4gSG93IHdv dWxkIHdlIGRvIFN1ZG9rdSBpbiBTQVQgc29sdmluZz8gSXMgaXQgd29ydGg/DQo+Pj4+IHN1 ZG9rdSBpcyBhIGNvbG9yaW5nIHByb2JsZW0uDQo+Pj4+IHNhbXBsZXM6IGMzZDVuMjUwLCBj NGQ5bjE1MA0KPj4+PiBmaWZ0aCBhbmQgbmludGggZGVncmVlIHRocmVlIGFuZCBmb3VyIGNv bG9yaW5nLg0KPj4+PiBteSBwcm9ncmFtIGZpbmRzIGFsbCBzYXRpc2Z5aW5nIG1vZGVscyB0 aGUgc29sdmVzIHBzcGFjZSBpbiBsaW5lYXIgdGltZS4NCj4+Pj4gZGFuaWVsMjM4MCsrKw0K Pj4+DQo+Pj4gTGluZWFyIHRpbWUhIERvZXMgdGhhdCBtZWFuIHRoYXQgdGltZSB0byBzb2x2 ZSBpcyBib3VuZGVkIGsqbV40K2MgZm9yDQo+Pj4gc29tZSBjb25zdGFudHMgayBhbmQgYyBh cyBuIGluY3JlYXNlcz8gKG4gaXMgMyBmb3IgdGhlIHVzdWFsIGdhbWUuKSBJZg0KPj4+IG15 IGd1ZXNzIGlzIG5vdCB3aGF0IHlvdSBtZWFudCwgcGxlYXNlIGluZm9ybXMgdXMgb2Ygd2hh dCB5b3VyIGNsYWltDQo+Pj4gZG9lcyBtZWFuLg0KPj4gWW91IHJlYWxseSBjYW4ndCBhbnN3 ZXIgYSBzaW1wbGUgcXVlc3Rpb24gYmFzZWQgb24geW91ciBvd24gdXNlIG9mDQo+PiBsYW5n dWFnZT8gSSdtIHN1cmUgTWNDYXJ0aHkgd291bGQgYmUgZGlzYXBwb2ludGVkIGluIHlvdSBp ZiBoZSBzYXcgeW91IG5vdy4NCj4+IC0tIA0KPj4gSmVmZiBCYXJuZXR0DQo+IHRoZSBjbGFz cyBhbGxxYmZzIHJ1bnMgaW4gbGluZWFyIHRpbWUgb24gYWxsIG1vZGVscy4NCj4gZmluZGlu ZyBhbGwgbW9kZWxzIGlzIG9ubHkgZmVhc2libGUgb24gbW9kZXN0IHNpemVzLg0KPiA1MDAg dmFyaWJsZSBwcm9ibGVtcyBhcmUgZmVhc2libGUuDQo+IGRhbmllbDIzODMNCg0KVGhhdCdz IGEgc28gd2hhdCBhbnN3ZXI7IG5hbWVseSBpdCBpc24ndCBhbiBhbnN3ZXIgYXQgYWxsLiBG dXJ0aGVyIChhcyBJIA0KdGhpbmsgeW91IGFscmVhZHkga25vdykgd2UgY2FuIGRlZmluZSBh IHByb2dyYW0gdGhhdCBzb2x2ZXMgYWxsIHByb2JsZW1zIA0Kb2YgdGhlIHNvcnQgeW91IGFy ZSB0YWxraW5nIGFib3V0IGluIHRpbWUgdVAgd2hlcmUgdSBpcyBzb21lIGNvbnN0YW50IA0K YW5kIFAgaXMgdGhlIGxlbmd0aCBvZiB0aGUgcHJvYmxlbSBzdGF0ZW1lbnQuIEkgZG9uJ3Qg ZmluZCB0aGlzIHJlc3VsdCANCnZlcnkgaW50ZXJlc3RpbmcsIGRvIHlvdT8NCi0tIA0KSmVm ZiBCYXJuZXR0DQoNCg==

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)