IPODwBDD
| Rev. | Time | Author | Message |
|---|---|---|---|
| c0cae5f | 2019-01-26 06:10:44 |  Tatsuhiro Tsuchiya |
master Fixed big bugs related to SAT |
| 2eac553 | 2019-01-21 15:05:27 | Tatsuhiro Tsuchiya | throw RuntimeException when exception was thrown by Sat4j |
| 533a0a1 | 2019-01-17 12:39:02 | Tatsuhiro Tsuchiya | Fixed: erroneously closed System.out. now flush instead. |
| 526fefb | 2019-01-17 11:22:50 | Tatsuhiro Tsuchiya | failed to improve new BDD. Left (erroneous) code as comments |
| 07659a4 | 2019-01-17 03:32:44 | Tatsuhiro Tsuchiya |
Now SAT part is done |
| a1cf2ad | 2019-01-16 18:37:48 | Tatsuhiro Tsuchiya | Add some code to SATConstraint.java to invoke Sat4J |
| c198628 | 2019-01-08 15:30:35 | Tatsuhiro Tsuchiya | Complete SAT part; but still needs optimization (very slow) |
| 807384a | 2019-01-07 17:23:06 | Tatsuhiro Tsuchiya | Fix a bug in addtuple in IPOG.java. SAT is still buggy. |
| c31969c | 2019-01-07 06:56:03 | Tatsuhiro Tsuchiya |
Build Boolean expression representing all constraints |
| ef01681 | 2019-01-06 01:10:35 | Tatsuhiro Tsuchiya |
Some methods for SAT construction in Node.java |
| Name | Rev. | Time | Author | Message |
|---|---|---|---|---|
| master | c0cae5f | 2019-01-26 06:10:44 | Tatsuhiro Tsuchiya |
Note: No README files are found. (To show description, put "README" file into the repository)
Fork