z3

z3

Z3는 Microsoft Research의 정리 증명 자입니다.
Z3는 Microsoft Research의 정리 증명 자입니다.
z3

웹 사이트:

풍모

카테고리

BSD 용 z3의 대안

GNU Octave

GNU Octave

옥타브는 MATLAB과 대부분 호환되는 수치 계산을 수행하기위한 컴퓨터 프로그램입니다.GNU 프로젝트의 일부입니다.
R (programming language)

R (programming language)

R은 통계 컴퓨팅 및 그래픽을위한 무료 소프트웨어 환경입니다.