SAT 해 찾기 : SAT4J - 더 많은 예제가 있습니까?

SAT 해결사 전에 사용하지 않았기 때문에 SAT4J 사용법을 배우기 시작했습니다. 주로 API를 사용하고 있지만 때때로 클래스 또는 메서드의 몇 가지 인수 또는 형식/형식이 수용 할 수있는 것이 무엇인지 이해하기가 어렵습니다. 예 :SAT 해 찾기 : SAT4J - 더 많은 예제가 있습니까?

public BinaryClause(IVecInt ps, ILits voc)

SAT4j의 구현 된 기능을 이해하는 데 도움이되는 몇 가지 사용 예제가 있다면 제 질문은 무엇입니까?

미리 감사드립니다.

당신은 단위 테스트에서 대부분의 기능의 몇 가지 예문을 찾을 수 있습니다

출처

2017-01-16 user4712458

: 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

현재까지. 개발자 수준은 시간이 지남에 따라 변경 될 수 있으며 문서가 부족할 수 있습니다.

출처

2017-01-16 19:19:53

답장을 보내 주시면 기쁘게 생각합니다. 고맙습니다. 나는이 단위 테스트에 대해 몰랐다. 그들은 나를 위해 매우 도움이되는 것처럼 보인다! 다시 감사합니다. – user4712458

SAT 해 찾기 : SAT4J - 더 많은 예제가 있습니까?

답변

관련 문제