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

Question

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

public BinaryClause(IVecInt ps, ILits voc) 

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

Спасибо заранее!

Answer 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

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