文件名称：DReal.jl:使用dReal进行非线性SMT求解
文件大小：62KB
文件格式：ZIP
更新时间：2024-05-27 20:25:42
Julia
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
----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)