登录
首页 » 算法 » HybirdSat求解器smt

HybirdSat求解器smt

于 2022-02-20 发布 文件大小:50.49 kB
0 196
下载积分: 2 下载次数: 1

代码说明:

开源的的smt求解器,用于求解约束集的可满足性,能够支持位向量的求解,速度还算不错。

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 基于Java的BP网络数字识别.rar
    基于Java的BP网络数字识别法.rar-Java-based BP Network Digital Identification Act. Rar
    2022-01-26 03:15:33下载
    积分:1
  • IF97水和水蒸气性质计C源码
    水和水蒸汽作为一种重要工质,在电站热能动力工程上有着广泛的应用。德、俄、英、加等7国12位科学家组成的联合研究小组提出了一个全新水和水蒸汽计算公式,在1997年德国Erlanger召开的水和水蒸汽性质国际联合会(IAP WS)上通过并发表,称为IAPWS-IF97公式。根据IF97的文档,自己编写的C代码
    2022-01-31 11:22:35下载
    积分:1
  • opencv实例源代码.rar
    资源描述 ,opencv实例源代码里面包含的基于opencv的光流法程序和实现功能为图像平滑、图像缩小与Canny 边缘检测。三、用 DirectShow 编制的视频采集程序 。
    2023-02-04 02:55:10下载
    积分:1
  • L
    L-M算法(BP的一种改进算法)应用实例-L-M algorithm (BP an improved algorithm) Application
    2023-03-31 09:50:04下载
    积分:1
  • #define 中使用运符 c
    #include < stdio.h > #include < string.h > #define TFTP_TYPE_GET 0 #define TFTP_TYPE_PUT 1 int (主) { printf %("d",TFTP_TYPE_GET) ; }
    2023-06-15 02:11:15下载
    积分:1
  • 自适应差分进化
    最近一段时间优化方法,尤其是进化计算技术,属于主要讨论的话题。遗传算法中,相对较新的方法,在这一领域 (他们的发展已经开始十或十五年前),越来越会变得越来越流行的工具,为解决日益谱的优化任务,已知的一些实际应用。我们已开始处理这些方法,2000 年夏天。有人能帮助我们解决当今来到焦点的优化问题相对不同套的同样可靠的、 有效的和通用算法需要。除其他外一直在调查以下几个问题: 鉴别材料模型参数、 回归分析、 可以用来从实验 resultstopological optimizationssome 工程任务,例如,钢筋混凝土梁与其他结构和结构构件的优化近似的材料模型参数估计的神经网络的训练。
    2022-03-29 22:55:26下载
    积分:1
  • c++链表模板类,实现所有链表的功能!
    c++链表模板类,实现所有链表的功能!包括增删改查,反转、递归反转等功能。对数据结构初学者有极高的参考价值。且代码规范,命名规范,有很多注释帮助理解。
    2022-08-16 10:11:43下载
    积分:1
  • 改进的带记忆的模拟退火求解TSP问题
    资源描述采用多普勒型降温曲线,在传统算法的基础上添加了记忆功能,可测试中国31/64/144以及att48城市的数据,也可自行输入数据进行测试,测试结果基本达到当前最优水平,测试请运行duoci.m文件
    2022-11-17 21:00:03下载
    积分:1
  • abaqus复合材料umat渐进操作子程序
    用abaqus有限元软件建立复合材料模型,利用fortran语言编写复合材料三维渐进损伤子程序。程序中自己定义复合材料本构模型,损伤准则采用三维hashin判据。
    2022-01-31 07:02:18下载
    积分:1
  • Java 随机化求PI
    通过随机化算法来求PI的值,在本代码中,(硬币)投的次数越多,PI的值越精确。里面有详细的说明
    2022-02-14 00:42:01下载
    积分:1
  • 696516资源总数
  • 106633会员总数
  • 4今日下载