LogicNG 오픈소스 Java 라이브러리: 불리언 및 의사 불리언 공식 처리 및 해결
1. 프로젝트 개요
LogicNG는 불리언(Boolean) 및 의사 불리언(pseudo-Boolean) 공식을 생성, 조작 및 해결하기 위한 Java 라이브러리입니다. 이 라이브러리는 MiniSAT, Glucose, PBLib, OpenWBO와 같은 인기 도구의 100% Java 구현을 포함하고 있습니다. LogicNG의 주요 초점은 메모리 효율적인 데이터 구조와 공식을 조작하고 해결하는 알고리즘에 있습니다. 이 라이브러 ...
7월 25일 17:49에 게시됨
MiniSat: 효율적인 불리언 SAT 솔버 및 개발자 가이드
MiniSat: 효율적인 불리언 SAT 솔버 및 개발자 가이드
프로젝트 개요: 경량화된 SAT 솔버의 기술적 특징
MiniSat은 C++로 작성된 고성능 불리언 만족성 문제(SAT) 솔버로서, 미니멀리즘 디자인과 뛰어난 성능으로 잘 알려져 있습니다. 학계와 산업계에서 널리 사용되는 논리 추론 엔진인 MiniSat은 모듈화된 아키텍처를 통해 기본 알고리즘과 고급 최적화 기능을 결합합니 ...
7월 14일 01:29에 게시됨