没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
cpp-BLT基于Lattice的整数线性规划解算器
cpp-BLT基于Lattice的整数线性规划解算器
共77个文件
cc:20个
h:16个
hs:5个
开发-数学计算
需积分: 10
0 下载量
22 浏览量
2019-08-15
13:04:29
上传
评论
收藏
180KB
ZIP
举报
温馨提示
立即下载
BLT 基于Lattice的整数线性规划解算器
资源详情
资源评论
收起资源包目录
cpp-BLT基于Lattice的整数线性规划解算器.zip
(77个子文件)
blt-master
.gitignore
165B
Setup.hs
6KB
blt.cabal
2KB
src
BLT
Binding.hs
7KB
Internal.hsc
2KB
Doxyfile
74KB
LICENSE
1KB
doc
blt_logo.png
3KB
blt_logo_lattice.png
2KB
blt_logo.svg
7KB
libblt
.gitignore
264B
yices_stub.h
5KB
yices_wrapper.cc
5KB
Makefile
5KB
config.mk.example
619B
ntl_wrapper.h
809B
test_compare_glpk_yices.cc
3KB
expr.cc
3KB
util.cc
1KB
ntl_wrapper.cc
5KB
coverage_20140520.html
17KB
test_blt.c
4KB
codes.h
697B
closest.h
2KB
yices_test_fixture.h
2KB
types.h
602B
closest.cc
12KB
test_regression.cc
4KB
yices_wrapper.h
976B
glpk_wrapper.cc
8KB
context.cc
16KB
blt.cc
3KB
glpk_wrapper.h
2KB
test_closest.cc
5KB
coverage_20151002.html
20KB
parser.cc
4KB
test_context.cc
8KB
error.h
390B
test_ntl.cc
2KB
run_blt.cc
5KB
yices_stub.c
5KB
util.h
179B
test_expr.cc
2KB
parser.h
614B
test_parser.cc
1KB
latcon2bilp.cc
2KB
test_glpk.cc
5KB
context.h
3KB
blt.h
4KB
expr.h
3KB
test_yices.cc
4KB
run_tests.sh
1KB
test_blt.h
331B
debug.h
356B
setup_env.sh.example
321B
README.md
8KB
bootstrap.sh
5KB
test
UnitTests.hs
4KB
data
lattice_95.tst
42KB
test_4x4.lat
105B
test_95.bilp
43KB
test_4x4.con
63B
test_50.con
2KB
test_50_8.con
2KB
test_50.bilp
49KB
convert.sh
257B
pentagon.con
38B
pentagon.lat
31B
test_95.lat
42KB
test_50.lat
47KB
test_95.con
2KB
test_50_8.lat
46KB
pentagon.bilp
68B
test_4x4.bilp
162B
Test.hs
514B
QCTests.hs
3KB
RELEASE.md
596B
共 77 条
1
评论
收藏
内容反馈
立即下载
评论0
去评论
最新资源
植物大战僵尸 · 戴夫的老年生活 手机版.apk
pta题库答案c语言.docx
python烟花代码.docx
#P0015. 全排列 超级简单
pta题库答案c语言之排序4统计工龄.zip
pta题库答案c语言之树结构7堆中的路径.zip
pta题库答案c语言之树结构3TreeTraversalsAgain.zip
pta题库答案c语言之树结构2ListLeaves.zip
pta题库答案c语言之树结构1树的同构.zip
基于C++实现民航飞行与地图简易管理系统可执行程序+说明+详细注释.zip
weixin_39840924
粉丝: 492
资源:
1万+
私信
上传资源 快速赚钱
前往需求广场,查看用户热搜
相关推荐
基于BLT方程的线性传输线网络自动化分析.pdf
基于BLT方程的线性传输线网络自动化分析.pdf
blt4l:PAYDAY 2 SteamOSLinux LUA加载程序
BLT4L是Linux的部分洁净室,逐行逐行重写BLT(PAYDAY 2 Better Lua注入器)。 它与所有BLT mod兼容,提供相同的API,并使用相同的LUA基础。 BLT4L目前尚未维护,为使BLT4L正常运行而进行的许多工作和研究已经投入到...
BLT53A详细电路图.pdf
BLT53A BLT53A U 波段功率放大器 2W BLT53A 价格便宜的PA,推荐的电路图和电阻电容参数
3星 · 编辑精心推荐
Blt
Blt
全球-量化策略-2019年BLT会议前的基本面与量化观点-2019.9.6-26页.rar
全球-量化策略-2019年BLT会议前的基本面与量化观点-2019.9.6-26页.rar
433M无线数传2WPA BLT53A
•BLT53A是一个基于硅工艺的功率放大器,提供从DC-3G的大带宽的操作支持。设计为超薄、超小SOT89封装,BLT53A提供完整的输入输出接近50欧姆的内部匹配。 •BLT53A具有极高的效率,在6V的供电、433M工作频率下输出36...
4星 · 用户满意度95%
McS@51单片机用户手册
The8051 is the original member of the MCW-51 8051 core are q 8-bit CPU optimized for control applications q Extensive Boolean processing (Single-blt logic) capabtilties q 64K Program Memory address ..
BLT_2022.1010.exe
BLT_2022.1010.exe
BLT53A datasheet
BLT53A datasheet 内含原理图,包含参考电路 BLT53A datasheet 内含原理图,包含参考电路
blt:blt - 提供简单的 CLI 超能力
blt:提供简单的 CLI 超能力 blt是一个 python 包,旨在使应用程序开发人员更容易为他们日常使用的各种工具包装命令行界面。 blt 的灵感来自 Heroku 的工具带、织物和 clint。 我们希望站在巨人的肩膀上。 概述 blt ...
计算屏障层厚度:此函数从网格数据集以及剖面数据计算 BLT-matlab开发
% 用法:BLT=ra_blt(salt,temp,Z,dT) % % 先决条件: % 除了SW Package,你还必须有以下函数:ra_ild.m 和ra_mld.m % % 说明:此功能根据轮廓数据确定屏障层厚度 (BLT) % 基于主观方法的集合。 如果您有 3D 数据集...
微信测试类小程序-柏拉图性格标签测试源码blt.zip
微信测试类小程序-柏拉图性格标签测试源码blt.zip
Bloom (BLT) Price-crx插件
语言:English 盛开(blt)价格监视器和其他公用事业围绕blt “盛开(blt)价格监视器和围绕blt的其他公用设施
基于BLT方程的微带线电磁耦合终端响应
基于BLT方程的微带线电磁耦合终端响应
The BLT Toolkit-开源
BLT 工具包是 Tcl 和 Tk 的扩展。 它向 Tcl 解释器添加了新的命令和小部件。 包括的小部件包括 2D 图形、条形图、带状图、标签笔记本和树查看器。
基于BLT方程的有孔箱体屏蔽效能分析
为了计算有孔金属屏蔽箱体的屏蔽效能,根据Robinson算法和电磁拓扑理论,提出了一种基于BLT方程的有孔箱体屏蔽效能分析方法,推导出了屏蔽箱体、孔逢、入射波等参数与屏蔽效能的关系式,并扩展到孔阵、偏心孔以及任意极...
论文研究 - 基于双变量拉普拉斯变换和矩生成函数的最大熵经验似然法
最大熵经验似然(MEEL)方法扩展到具有双变量Laplace变换(BLT)或矩量生成函数(BMGF)的闭合形式表达式的双变量分布,而其双变量密度函数没有闭合形式的表达式,这使得实现似然方法变得困难。 这些分布在精算科学...
zuhlke-ngeurope-ES6:在 ngEurope 上看到 ES6 后可以试用它的小游乐场
zuhlke-ngeurope-BLT 关于 ngEurope 2014 会议亮点的商业午餐谈话 (BLT)
blt-cm-plugins
Acquia BLT配置管理插件 这是插件,提供了一些其他配置管理命令。 通常,每个命令通过确保存在现有docroot/sites/settings/global.settings.php文件并添加诸如以下内容的行,将服务注入Drupal中: $ settings [ '...
Qt 5实现串口调试助手 (源工程文件、0积分下载)
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
5星 · 资源好评率100%
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
5星 · 资源好评率100%
AutoSAR标准协议4.2.2
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
5星 · 资源好评率100%
光伏-储能并网系统仿真.rar
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
5星 · 资源好评率100%
NPPJSONViewer.zip
NodePad++ JSON格式化插件
4星 · 用户满意度95%
GD32替换STM32注意事项.pdf
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
3星 · 编辑精心推荐
XCP协议的规范文档
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
5星 · 资源好评率100%
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
vs2015.iso包安装,不然会卡在安装包丢失或损坏
3星 · 编辑精心推荐
CANoe通过CAPL脚本实现自动测试
现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
蓝牙BLE协议中文版.pdf
蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0
最新资源