haskell-minisat:Minisat 的低级 Haskell 绑定

时间:2024-06-23 05:18:04
【文件属性】:

文件名称:haskell-minisat:Minisat 的低级 Haskell 绑定

文件大小:55KB

文件格式:ZIP

更新时间:2024-06-23 05:18:04

C++

小卫星2 低级 MiniSat2 包装器。


【文件预览】:
haskell-minisat-master
----Setup.hs(72B)
----minisat()
--------doc()
--------LICENSE(1KB)
--------README(833B)
----cbits()
--------utils()
--------mtl()
--------hsminisat.cxx(3KB)
--------core()
----COPYING(1KB)
----src()
--------MiniSat2.hs(9KB)
----MiniSat2.cabal(1KB)
----.travis.yml(2KB)
----test()
--------Test.hs(676B)
----samples()
--------Test.hs(484B)
----README.md(184B)
----.gitignore(21B)

网友评论