LogicNG 오픈소스 Java 라이브러리: 불리언 및 의사 불리언 공식 처리 및 해결
1. 프로젝트 개요
LogicNG는 불리언(Boolean) 및 의사 불리언(pseudo-Boolean) 공식을 생성, 조작 및 해결하기 위한 Java 라이브러리입니다. 이 라이브러리는 MiniSAT, Glucose, PBLib, OpenWBO와 같은 인기 도구의 100% Java 구현을 포함하고 있습니다. LogicNG의 주요 초점은 메모리 효율적인 데이터 구조와 공식을 조작하고 해결하는 알고리즘에 있습니다. 이 라이브러 ...
7월 25일 17:49에 게시됨