定理验证工具 Z3

MIT
C/C++
跨平台
微软
2015-03-27
红薯

Z3 是来自微软研究院的的一个定理验证工具。

加载中

评论(0)

暂无评论

暂无资讯

暂无问答

linear fractional transformation

cross ratio, symmetric pairs

2014/10/14 12:43
51
0
orientation of a given circle

sqwswwEEEeUntitled Document 复习提纲 stereographic projection (definition and the way to find a projecting point) calculate square root for a given complex number triangle inequ...

2014/10/14 12:44
40
0
复数的四则运算

#include<stdio.h> typedef struct { float a;//实部 float b;//虚部 }fus; void add(fus *e,fus *f,fus *g) { float a,b,c,d; a=e->a; b=e->b; c=f->a; d=f->b; g->a=a+c;//实部加实部 g->b...

2016/11/09 02:06
1
0
matlab-高数 limit 判断 函数是否可导

  matlab : R2018a 64bit     OS : Windows 10 x64 typesetting : Markdown    blog : my.oschina.net/zhichengjiu    gitee : gitee.com/zhichengjiu   code clear clc syms x; y...

02/19 20:57
1
0
【Zookeeper】单机和伪分布式集群搭建

单机: zoo.cfg tickTime=2000 dataDir=/Users/apple/Documents/zookeeper/data dataLogDir=/Users/apple/Documents/zookeeper/logs clientPort=2181 伪分布式: zoo1.cfg tickTime=2000 ini...

2018/08/12 11:02
1
0
matlab-高数 limit 趋近一个数字,左、右侧极限

  matlab : R2018a 64bit     OS : Windows 10 x64 typesetting : Markdown    blog : my.oschina.net/zhichengjiu    gitee : gitee.com/zhichengjiu   code syms x; y=(x*x-1)/(...

02/19 21:42
5
0
mysql ip 存储

IPv4的地址使用无符号整数来存储 INSERT INTO test (name,ip) values('z3',INET_ATON('192.168.1.1')); //存储后的ip值为整数:3232235777 SELECT INET_NTOA(ip) from test;...

2016/03/09 14:28
6
1
javascript原型和多维数组遍历

我们创建的每一个函数都有一个prototype属性,这个属性是一个指针,指向一个对象,而这个对象的用途是包含可以由特定类型的所有实例共享的属性和方法。 原型对象实际就是一个构造函数的实例对...

2016/05/22 23:56
7
2
matlab-高数 反、双曲、正、余弦、正切函数

  matlab : R2018a 64bit     OS : Windows 10 x64 typesetting : Markdown    blog : my.oschina.net/zhichengjiu    gitee : gitee.com/zhichengjiu   code clear clc x=-100:10...

02/20 00:16
4
0

没有更多内容

加载失败,请刷新页面

返回顶部
顶部