【文件属性】：
文件名称：haskell-minisat:Minisat 的低级 Haskell 绑定
文件大小：55KB
文件格式：ZIP
更新时间：2021-06-03 11:31:24
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)