설탕 SAT 기반 제약 솔버
지금 다운로드

설탕 순위 및 요약

설탕 태그

개발 해결하다 자바 개발 환경 해결사 환경 강제 Java 환경 교육 설정 제약 솔버

설탕 설명

설탕은 유한 선형 제약 만족 문제 (CSP) 또는 제약 조건 최적화 문제 (COP)의 자유롭고 오픈 소스 솔버입니다 .Sugar는 부울 만족성 테스트 문제 (SAT)로 문제를 인코딩하고 외부를 사용하여 SAT 문제를 해결합니다. SAT Solver. 설탕 도구는 "주문 인코딩"이라는 새로운 SAT-Encoding 메서드를 사용합니다. 주문 인코딩에서 비교 X.

설탕 관련 소프트웨어