0
Анализатор сплавов предлагает параметр «Выход CNF в файл», что означает, что я могу отправить ограничения, сгенерированные сплавом, на мой любимый SAT-решатель. Но как я могу передать результат SAT обратно на сплав, чтобы я мог визуализировать решение?Получение выходных данных из внешнего SAT-решателя
А, это позор. Спасибо, в любом случае. Здесь мы надеемся на новую функцию в будущих выпусках! :) –