[情報] SAT interface & ref prog updated

[ric2k1 (Ric)]

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
→ ric2k1:想重新 update ref src 的人可以只 update
→ ric2k1:src/sat, Makefile, include/sat.h
→ ric2k1:Oh, 還有 ref/fraig-{64,32}
→ ric2k1:Uh, 忘記修 #2985 的 bug 了... 已更新!
推 puerpuella:Makefile裡面好像沒有加到sat?
→ ric2k1:啊! 怎麼漏掉了... 請在 SRCPKGS 後面加上 sat