Решаем задачу про ферзей при помощи SMT-солвера

[zababurin]

Я уже минут 10 жду когда решение будет.

А какие варианты есть более быстрого поиска ?

[zababurin]

Ааа я перепутал со стандартным методом. Библиотеку под браузер пересобиру и потестирую. )

[andy_p]

SAT-солверы «преступно мало используются в нашей отрасли».

Да ладно. Вот, напримеер мои статьи:

https://habr.com/ru/articles/408299

https://habr.com/ru/articles/408697

https://habr.com/ru/articles/433330