Fork| Rev. | Time | Author |
|---|---|---|
| c0cae5f master | 2019-01-26 06:10:44 |  Tatsuhiro Tsuchiya |
|
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 |
||
| 92f160d | 2018-12-27 16:37:24 | Tatsuhiro Tsuchiya |
|
make BDDConstraint handler abstract |
||
| 7eaabcb | 2018-12-21 10:54:44 | Tatsuhiro Tsuchiya |
|
add some comments |
||
| 16f5b44 | 2018-12-21 10:21:41 | Tatsuhiro Tsuchiya |
|
Create CombinatorialGenerator.java |
||
| fc8318c | 2018-12-20 13:50:18 | Tatsuhiro Tsuchiya |
|
Started writing SAT part |
||
| cfa05b8 | 2018-12-19 14:30:25 | Tatsuhiro Tsuchiya |
|
deleted unused part of generator |
||
| 49dd973 | 2018-12-19 14:09:50 | Tatsuhiro Tsuchiya |
|
misc |
||
| f5e1141 | 2018-12-18 15:51:05 | Tatsuhiro Tsuchiya |
|
Variable ordering for naive BDD method and others |
||
| 559e6be | 2018-12-18 13:54:42 | Tatsuhiro Tsuchiya |
|
->UTF8 |
||
| 0961eff | 2018-12-18 13:05:16 | Tatsuhiro Tsuchiya |
|
Now ConjConstraintHandler is problem |
||
| b039565 | 2018-12-17 14:53:52 | Tatsuhiro Tsuchiya |
|
Merge branch 'master' of |
||
| 9e4b2c8 | 2018-12-17 14:41:49 | Tatsuhiro Tsuchiya |
|
try to fix inconsistency about git |
||
| e56199c | 2018-12-10 15:02:28 | Tatsuhiro Tsuchiya |
|
IPOG.java: major speed up |
||
| d21942e | 2018-12-10 14:11:52 | Tatsuhiro Tsuchiya |
|
IPOG.java: clean small part of it |
||
| 6f63468 | 2018-11-30 18:16:37 | Tatsuhiro Tsuchiya |
|
IPOG.java: verticalextension() : find row containing the tuple first |
||
| 965be91 | 2018-11-30 16:52:17 | Tatsuhiro Tsuchiya |
|
speed up by optimizing horizontalExtention in IPOG.java |
||
| bec584f | 2018-11-27 09:59:54 | Tatsuhiro Tsuchiya |
|
leftover |
||
| d94826d | 2018-11-27 09:59:35 | Tatsuhiro Tsuchiya |
|
Add "without constraint"-version of IPOG |
||
| d1c64ad | 2018-11-26 18:23:56 | Tatsuhiro Tsuchiya |
|
byte -> int |
||
| 63a849a | 2018-11-20 17:37:55 | Tatsuhiro Tsuchiya |
|
variable ordering |
||
| e5f8991 | 2018-11-19 18:46:38 | Tatsuhiro Tsuchiya |
|
calculate distance of parameters from each AST node |
||