作者ric2k1 (Ric)
看板EE_DSnP
标题[情报] SAT interface & ref prog updated
时间Sun Jan 9 14:56:13 2011
CIRFraig 要使用的 SAT solver 介面已经提供了!
1. Download the latest ref src.
It can be accessed from ceiba 作业区 (fraig.tgz).
2. After untar, you should see a new directory "src/sat".
Makefile is also updated (add a new package).
A new symbolic link "sat.h" has also been created in the "include" dir.
3. Read the "README" first.
4. To use SAT solver, you need to #include "sat.h".
5. See the example "sat/test/satTest.cpp" for the usage of SAT engine.
More information can be found in (3) README.
Ref program 也已经更新，主要是针对前几篇提到的 bugs (应该没有漏吧?).
请参见 ceiba 公告区之 ref progm/spec 之 update.
(已包含在新版的 fraig.tgz 里头)
如同以往，旧版的 spec 放在 "fraig/old_doc" 里。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.36.50.120
1F：→ ric2k1:想重新 update ref src 的人可以只 update 01/09 15:52
2F：→ ric2k1:src/sat, Makefile, include/sat.h 01/09 15:52
3F：→ ric2k1:Oh, 还有 ref/fraig-{64,32} 01/09 15:53
4F：→ ric2k1:Uh, 忘记修 #2985 的 bug 了... 已更新! 01/09 18:15
5F：推 puerpuella:Makefile里面好像没有加到sat? 01/09 20:31
6F：→ ric2k1:啊! 怎麽漏掉了... 请在 SRCPKGS 後面加上 sat 01/10 00:58