Я хочу получать разные решения каждый раз, когда запускаю minisat для одной и той же проблемы.Я могу сделать это с помощью параметра "rnd-seed" в minisat.Это просто рандомизирует выбор переменной, чтобы каждый раз я мог найти другое решение.Хотя этот параметр отлично работает на моей машине (Ubuntu16), он не работает на gcloud (Google Cloud), работающем на машине с Ubuntu.
Я думаю, что мне не хватает небольшой части, но я не могу понять, что это такое.
Примечание. Я не хочу передавать информацию о решении в минисат для получения другого решения.Мне действительно нужно рандомизировать выбор переменной.
Редактировать: Позвольте мне объяснить, почему мне нужно рандомизированное решение.Я решаю множество проблем SAT, и обычно эти проблемы SAT очень похожи друг на друга.Поэтому, если я не могу выбрать случайную переменную, я получаю в большинстве случаев очень похожие решения, которые мне не нужны.Поэтому на самом деле я не запускаю minisat для той же проблемы.
Edit-2: @sascha хотел, чтобы я объяснил, что я имею в виду под словами «работает» и «не работает».Когда я запускаю файл cnf на моем компьютере, каждый раз я получаю разные решения.Однако, когда я запускаю один и тот же файл cnf на компьютере gcloud, я всегда получаю одно и то же решение.