-
HybirdSat求解器smt
开源的的smt求解器,用于求解约束集的可满足性,能够支持位向量的求解,速度还算不错。
- 2022-02-20 09:49:11下载
- 积分:1
-
GMP is a free library for arbitrary precision arithmetic, operating on signed in...
GMP是计算任意精度的数学库, 包括支持整数,有理数和浮点. GMP包括大量的接口函数.-GMP is a free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point numbers. There is no practical limit to the precision except the ones implied by the available memory in the machine GMP runs on. GMP has a rich set of functions, and the functions have a regular interface.
- 2022-02-25 15:30:33下载
- 积分:1
-
C语言282例代码集
所有程序都可以在VS 2015上运行;
该程序尤其适合初学者,算法初学者;
部分程序来自282例,其他是原创程序。
- 2022-03-22 05:05:15下载
- 积分:1
-
一个解决方案
一个解线性超定方程组的算法,是用C语言写的,简单易懂,而且速度还挺快的。-a solution-linear equations of the algorithm is written in C language, easily understood, but the speed It"s fast.
- 2022-02-20 05:12:20下载
- 积分:1
-
层次分析法
层次分析法用于权重分析该法是我国使用较为普遍的方法,已被广泛应用于各地的水体水质评价与分析之中
- 2022-04-15 02:35:32下载
- 积分:1
-
用外推法求函数最优区间的程序
用外推法求函数最优区间的程序-use extrapolation method for the optimal function of the interval procedures
- 2022-01-26 03:55:35下载
- 积分:1
-
基数数值排序的源程序,很有用啊
基数数值排序的源程序,很有用啊-base numerical ranking source, useful ah
- 2022-01-26 03:44:37下载
- 积分:1
-
Find Devide Between to Number
孟吉通selisih angka dengan bahasa C.Inputan berupa angka。输出yang dihasilkan berupa angka selisih dari inputan yang dimasukan。
- 2022-04-11 13:36:17下载
- 积分:1
-
工业机器人PUMA560逆解算法
资源描述工业机器人PUMA560逆解算法,使用VS2012环境编译实现,输入机器人末端齐次矩阵,可得八组逆解关节角度。
- 2022-04-27 09:03:28下载
- 积分:1
-
实现了两个大数的加法,速度很快.最大可以是500位数的相加...
实现了两个大数的加法,速度很快.最大可以是500位数的相加-realized the majority of the two Adder, very fast. It is the largest of the median combined 500
- 2022-07-14 15:18:54下载
- 积分:1