Просмотр исходного текста страницы Вероятностное тестирование NPC-сведения

В некоторых задачах сделано сведение NPC-задачи, обычно 3SAT, с иллюстрацией, но специально оставлена возможность доработки 
* Сделать генерацию случайных 3SAT-формул (или можно специально сложных 3SAT-формул, из криптографии или еще откуда).
* Решать эти формулы параллельно через
** PySAT
** Показанное сведение 3SAT → задача → Pyomo → ЦЛП-солвер.
** Сверять
* В процессе можно найти ошибки в сведении, доработать и исправить его.