SAT Solver: SAT4J - больше примеров?

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

public BinaryClause(IVecInt ps, ILits voc)

Мой вопрос: есть ли примеры использования, которые могут помочь мне лучше понять реализованные функции в SAT4j?

Заранее спасибо!

Источник

1 ответ

Решение

Некоторые примеры использования большинства функций вы можете найти в модульных тестах: http://www.sat4j.org/maven234/org.ow2.sat4j.core/xref-test/index.html

Класс BinaryClause не предназначен для использования конечными пользователями: http://www.sat4j.org/maven234/org.ow2.sat4j.core/apidocs/index.html

Мы стараемся поддерживать документ на уровне пользователя в актуальном состоянии. Уровень разработчика может меняться со временем, может не хватать документации.

Источник
Другие вопросы по тегам