Microsoft, Z3 정리 증명기를 위한 온라인 가이드 공개
Online Z3 Guide
Microsoft가 Z3 정리 증명기를 배우고 활용할 수 있는 온라인 가이드를 공개했다. SMTLIB 튜토리얼과 JavaScript 기반 프로그래밍 예제, 브라우저에서 바로 실행해 볼 수 있는 플레이그라운드를 제공한다. Python으로 Z3를 다루는 별도 문서와 API 레퍼런스 등 기존 자료로의 링크도 함께 안내한다.
Z3 Guide
Online Z3 Guide
Microsoft가 Z3 정리 증명기를 배우고 활용할 수 있는 온라인 가이드를 공개했다. SMTLIB 튜토리얼과 JavaScript 기반 프로그래밍 예제, 브라우저에서 바로 실행해 볼 수 있는 플레이그라운드를 제공한다. Python으로 Z3를 다루는 별도 문서와 API 레퍼런스 등 기존 자료로의 링크도 함께 안내한다.
Z3 Guide