0
스칼라로 작성된 응용 프로그램에서 일반적인 SAT 솔버를 호출해야합니다. jar 파일로 쉽게 임포트 할 수 있기 때문에 SAT4J를 조사했지만 실제로 사용하기가 어려웠습니다. 내 스칼라 코드 내에서 SAT 문제를 계산하기 위해 SAT4j jar 파일을 실행할 수있는 방법이 있습니까?스칼라 클래스의 SAT 솔버 사용
SAT4J가 올바른 접근법이 아니라면 외부 SAT 해결사를 시작하는 대신 직접 사용할 수있는 SAT 라이브러리가 있습니까?