【文件属性】：
文件名称：diagrams-constraints:图的约束求解
文件大小：12KB
文件格式：ZIP
更新时间：2021-05-09 18:16:37
Haskell
diagrams-constraints是[diagrams]的后端，实现了约束求解。 [图表]： ：
安装
cabal sandbox add-source增加了diagrams-core的no-data分支和diagrams-lib和diagrams-svg的generalize-double分支以及sbv的[more instance]分支。 [更多实例]： :
跑步
cabal install
这应该下载其余的Haskell依赖项。
要实际运行它，您还需要安装[Z3]（最新夜间版本，也称为“ 4.3.2”，可通过“计划的”发行版进行访问），并通过将SBV_Z3环境变量设置为该文件的路径将sbv指向它。可执行文件。 [Z3]：http：
到目前为止，该代码仅在Windows上进行了测试。
用法
到目前为止，只有CMears有效（cmears可执行文件）。 要测试，运行
【文件预览】：
diagrams-constraints-master
----.gitignore(134B)
----Setup.hs(72B)
----diagrams-constraints.cabal(2KB)
----src()
--------Diagrams()
----LICENSE(2KB)
----CHANGES.markdown(321B)
----examples()
--------Example.hs(3KB)
--------CMears.hs(2KB)
----README.md(917B)