sat4j

0зной

1ответ

Окно дистанционного управления Sat4j не открывается

Что происходит: Выполняю следующую команду. java -jar sat4j-sat.jar -remote открывает окно Нет, и я получаю выход консольного же, как и без -Дистанционного флага, который начинается: c SAT4J: a SATi

sat4j 2015-07-13

---

0зной

1ответ

SAT4J исключение решающего решения для обложек

Я пытаюсь построить решение для решения проблем размещения N * N для моего школьного проекта. Я сделал программу, которая генерирует заявления CNF. Я попытался дать свой адрес в качестве аргумента для

java intellij-idea sat4j 2016-05-06

---

0зной

1ответ

Sat4J Запуск из кучи

Я пытаюсь решить проблему с частичной взвешенной максимальной выполнимостью с помощью SAT-решателя SAT4J. Файл .wcnf большой, он содержит около миллиона ограничений. Когда я бегу решатель, я получаю с

heap sat4j 2015-05-27

---

0зной

1ответ

SAT Solver: SAT4J - еще примеры?

Я не использовал до решения SAT, поэтому я начал изучать, как использовать SAT4J. В основном, я использую его API, но мне трудно понять, что некоторые аргументы (в классах или методах) означают или их

solver sat sat4j 2017-01-16

---

4зной

3ответ

Input CNF для SAT4J решателем

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

java nlp ontology sat-solvers sat4j 2010-10-15

---

0зной

2ответ

Инкрементальное решение SAT: сохранить решающий экземпляр - изменить модель между прогонами

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

sat sat4j 2016-05-24

---