文件名称: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)