没有合适的资源?快使用搜索试试~ 我知道了~
DReal.jl:使用dReal进行非线性SMT求解
共45个文件
jl:40个
md:2个
require:1个
需积分: 13 0 下载量 76 浏览量
2021-05-08
02:39:02
上传
评论
收藏 62KB ZIP 举报
温馨提示
DReal.jl 这是的Julia包装。 dReal使您能够回答。 也就是说,您可以提出以下形式的问题:是否对我的变量x1 , x2 , x3 ,...进行了一些赋值,使我对这些变量的公式为真? 。 dReal还允许您进行非线性,受限的优化。 先决条件 Linux或OSX:DReal不支持Windows libstdc ++ 6:在Ubuntu中,请执行以下安装步骤进行安装。 sudo add-apt-repository --yes ppa:ubuntu-toolchain-r/test # needed for 12.04 sudo apt-get update sudo apt-get install libstdc++6 安装 您可以轻松地从Julia repl安装DReal Pkg . update () Pkg . add ( " DReal " ) 然后可以将DR
资源推荐
资源详情
资源评论
收起资源包目录
DReal_jl-master.zip (45个子文件)
DReal.jl-master
images
eq.png 31KB
src
DReal.jl 3KB
util.jl 219B
logic.jl 727B
SolverInterface.jl 4KB
ode.jl 2KB
construct.jl 8KB
wrap_capi.jl 13KB
environment.jl 638B
expression.jl 3KB
optimize.jl 3KB
context.jl 1KB
LICENSE.md 1KB
.travis.yml 587B
REQUIRE 54B
deps
build.jl 697B
examples
neuralnetwork.jl 3KB
README.md 6KB
benchmarks
jamilyang.jl 6KB
dop1.jl 1KB
test
ifelse.jl 987B
ex2.jl 449B
leak.jl 265B
implication.jl 175B
ex2capi.jl 934B
odeball.jl 680B
ode1capi.jl 3KB
expop.jl 221B
tutorial.jl 623B
ex1capi.jl 4KB
exintfloat.jl 542B
leaks2.jl 229B
symbolerror.jl 982B
forall1.jl 203B
leaks.jl 989B
ex1.jl 1KB
leaks4.jl 1KB
evan1.jl 506B
optimize.jl 1KB
sat.jl 201B
funcapprox.jl 393B
runtests.jl 411B
expop2.jl 199B
sicun1.jl 2KB
soonho.jl 488B
共 45 条
- 1
资源评论
秦风明
- 粉丝: 25
- 资源: 4732
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功