smt-solvers
Satisfiability Modulo Theories
명제논리와 배경이론(정수, 배열, 비트벡터 등)을 결합해 제약식의 만족가능성을 결정하는 자동화 도구로, 형식 검증과 자동 추론에서 증명 검색의 핵심 연산자를 담당합니다.
Satisfiability Modulo Theories
명제논리와 배경이론(정수, 배열, 비트벡터 등)을 결합해 제약식의 만족가능성을 결정하는 자동화 도구로, 형식 검증과 자동 추론에서 증명 검색의 핵심 연산자를 담당합니다.
