0
C++이나 haskell로 작성된 SAT 솔버 라이브러리 나 프로그램이 필요합니다. 왜 그 도서관을 선택하겠습니까? 그리고 도서관/프로그램의 장단점은 무엇입니까? 가능한 한 빨리 사용하고 사용하기 쉽도록해야합니다.C++ 또는 haskell로 작성된 SAT 해답을 제안합니다. 찬반론과 단점
답장을 보내 주셔서 감사합니다.
C++이나 haskell로 작성된 SAT 솔버 라이브러리 나 프로그램이 필요합니다. 왜 그 도서관을 선택하겠습니까? 그리고 도서관/프로그램의 장단점은 무엇입니까? 가능한 한 빨리 사용하고 사용하기 쉽도록해야합니다.C++ 또는 haskell로 작성된 SAT 해답을 제안합니다. 찬반론과 단점
답장을 보내 주셔서 감사합니다.
이 하나 (고속 SAT 솔버) 시도 :
왜 당신이 알아야 할을? – Marcin
@Marcin : 숙제 프로젝트를 위해, 나는 스도쿠를 해결하기 위해 앉아있는 솔버를 사용해야한다. 제 일은 문제를 성문화하여 솔버에게 넘겨주는 것이지만, 제 기계가 그다지 강력하지 않기 때문에 빠르고 가볍게 사용하고 싶습니다. 테스트와 벤치 마크와 같은 비교가 필요할 것입니다. – Throoze