재미있는 현대적인 DPLL 스타일의 SALVER
지금 다운로드

재미있는 순위 및 요약

재미있는 태그

해결하다 해결사 토 솔버 해결 됨 SAT 인스턴스 수능

재미있는 설명

현대적인 DPLL 스타일의 SAT SOLVER Funsat는 SAT 인스턴스를 해결하기 위해 현대적인 기술을 사용하는 네이티브 Haskell Sat Solver입니다. 현재의 기능에는 두 가지 시계 리터럴, 충돌 - 지시 학습, 비 연계 역 추적, VSID와 같은 동적 변수 순서 및 재시작이 포함됩니다. FunSat은 다른 응용 프로그램에서 구속 조건을 구속 조건으로 해결할 때 합리적으로 빠른 SAT Solver의 편리한 임베딩을 촉진하는 것을 목표로합니다 .Note : FunSat은 LGPL 라이센스 조건에 따라 라이센스 및 배포됩니다. 요구 사항 : · GHC.

재미있는 관련 소프트웨어