Я работаю над CDCL SAT-Solver.Я не знаю, как реализовать не хронологическое отслеживание.Возможно...

Я хочу получать разные решения каждый раз, когда запускаю minisat для одной и той же проблемы.Я...