下载 >  行业 >  教育 > 最新的cryptominisat4求解器

最新的cryptominisat4求解器 评分:

可做代数攻击求解的。windows环境下的SAT求解器
2014-05-16 上传大小:569KB
分享
收藏 举报
EES工程方程求解

EES是一款(工程用)方程(公式)求解器的英文简称。它主要用于求解一系列的代数方程。例如:数百个非线性的方程构成的代数方程组.它和现在一般的方程求解器的一个主要不同在于,它内置了大量数学和热力学方面的函数。

立即下载
ls-dyna求解

用于动态仿真求解器,采用有限元方法对偏微分方程进行离散求导,其能够对大变形结构进行动力学求解

立即下载
DEA-solver-lv

DEA-solver DEA的软件之一,希望的安家很喜欢

立即下载
comsol求解

实用的comsol求解器相关文档,包括求解器基础理论,求解类型,求解器配置

立即下载
数独求解

数独求解器 源程序数独求解器 源程序数独求解器 源程序

立即下载
结构力学求解

结构力学求解器(SM Solver)是一个面向教师、学生以及工程技术人员的计算机辅助分析计算软件,其求解内容包括了二维平面结构(体系)的几何组成、静定、超静定、位移、内力、影响线、包络图、自由振动、弹性稳定、极限荷载等经典结构力学课程中所涉及的一系列问题,全部采用精确算法给出精确解答。

立即下载
结构力学求解器64位系统使用

结构力学求解器(SM Solver for Windows)是一个面向教师、学生以及工程技术人员的计算机辅助分析计算软(课)件,其求解内容包括了二维平面结构(体系)的几何组成、静定、超静定、位移、内力、影响线、自由振动、弹性稳定、极限荷载等经典结构力学课程中所涉及的一系列问题,全部采用精确算法给出精确解答。本软件界面方便友好、内容体系完整、功能完备通用,可供教师拟题、改题、演练,供学生做题、解题、研习,供工程技术人员设计、计算、验算之用,可望在21世纪的教学改革中发挥其特有的作用。 求解器v2.0比v1.5更加精致、先进、方便、快捷、强健,同时不失其原有的小巧、简约、俭朴、平实。

立即下载
结构力学求解器(自己买的,绝对能用,不忽悠!!)

结构力学求解器(SM Solver for Windows)是一个面向教师、学生以及工程技术人员的计算机辅助分析计算软(课)件,其求解内容包括了二维平面结构(体系)的几何组成、静定、超静定、位移、内力、影响线、自由振动、弹性稳定、极限荷载等经典结构力学课程中所涉及的一系列问题,全部采用精确算法给出精确解答。本软件界面方便友好、内容体系完整、功能完备通用,可供教师拟题、改题、演练,供学生做题、解题、研习,供工程技术人员设计

立即下载
结构力学求解器3D版(试用60天)

结构力学求解器3D版,可能存在兼容问题,百度有解决方法。

立即下载
ADAMS求解器(积分器)选择的依据

迄今为止ADAMS中用的最多的积分器是GSTIFF。它运用至少两种求解方程,一个是I3方程,另一个是SI2方程(将ADAMS/Solver选为Fortran时还有一个I1)。I3 GSTIFF方程已经有了二十年历史。它已经发展的颇为完善了。但是,也有一些模型用WSTIFF积分器可以求解而不能用GSTFF积分器求解。所以,在用GSTIFF积分器不能求解模型时,可以试试用WSTIFF积分器,或者用C++求解器中HHT积分器等新型积分器求解。剩余文章是别的积分器的选择依据。

立即下载
结构力学求解器2.6最新

结构力学求解器,学生版,最新版,已注册正版

立即下载
comsol中的求解器简单介绍

comsol中各种求解器介绍,欢迎学习comsol的同学下载学习

立即下载
CST MWS里面瞬态求解器的设置-accuracy的设置

CST MWS里面瞬态求解器的设置-accuracy的设置 (1)一般的理论验证或者仿真将其设置为多少?-30dB (2)如果是做一些实际的产品,又设置为多少?-60dB (3)还是根据具体的模型或产品要求,自己选择适当的档,怎么判断? (4)精度设置的越高-80dB,计算的时间越长,也就是效率不是最佳,怎么设 置才能达到最佳设置? (5) Accuracy 这个参数对仿真结果(S 参数)有什么影响?为什么? (6)Accuracy 这个参数对仿真时间有什么影响?为什么? (7) “精度”的定义是什么? (8)在CST MWS 中要得到“准确的”仿真结果,最重要的参数是什么? (9)在CST

立即下载
3种微分方程求解

Euler中点法、4阶龙格库塔法和对角隐式辛积分R-K方法,Matlab单步求解。

立即下载
结构力学求解器-安装文件

上传的为求解器的安装文件 下载后将 EX后缀改为 exe即可

立即下载
HFSS瞬态求解

HFSS瞬态求解器实例,喇叭天线仿真。HFSS瞬态求解器实例,喇叭天线仿真。HFSS瞬态求解器实例,喇叭天线仿真。HFSS瞬态求解器实例,喇叭天线仿真。

立即下载
线性规划求解器 lp_solve

线性规划求解器 lp_solve,免费版式本,不受变量限,计算速度一般.

立即下载
snopt非线性求解

配合gpops软件应用的snpot软件,求解非线性规划问题

立即下载
ladyna求解

lsdyna_971求解器,可以用于求解大变形非线性问题如碰撞,金属成型等

立即下载
Abscon(CSP求解算法)

CSP求解器,即为约束满足问题的求解器,在Linux平台运行。

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

最新的cryptominisat4求解器

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: