| Rev. | Time | Author |
|---|---|---|
| 6a36386 | 2018-11-16 18:52:12 | Tatsuhiro Tsuchiya |
|
Create Abstract Syntax Tree for Constraints |
||
| d6cb6ac | 2018-11-14 18:26:06 | Tatsuhiro Tsuchiya |
|
some (very) small changes |
||
| f9dde52 | 2018-08-07 15:56:51 | |
|
# WARNING: head commit changed in the meantime |
||
| 4cc39bb | 2018-08-03 16:58:01 | Tatsuhiro Tsuchiya |
|
Rework main. Create InputFileData.java. Change Inputer.java to |
||
| ea802af | 2018-03-30 16:08:11 | |
|
Added placeholder for variable ordering |
||
| 99b8f66 | 2018-03-29 16:56:46 | |
|
Temporarily stable version |
||
| 7c46572 | 2018-03-29 07:20:20 | |
|
Added print statements for debugging |
||
| ec1cc87 | 2018-03-28 15:26:48 | |
|
Add randstar (off, on, empty) and verbose (0, 1, 2,...) options |
||
| 88ac441 | 2018-01-26 14:38:06 | |
|
Implemented Anding strategy |
||
| cdb5529 | 2018-01-24 18:26:05 | |
|
ADD options for chandler. ConjConstraintHander is the class for naive |
||
| 573527d | 2018-01-23 16:22:49 | |
|
Forgot where I am. Push all things |
||
| 888ff72 | 2017-10-13 16:48:31 | |
|
[bug fixed] a big bug was fixed |
||
| cf83fde | 2017-10-13 14:16:20 | |
|
[bug fix] a big bug fixed |
||
| 106b1b5 | 2017-09-28 18:48:32 | |
|
[add] traslator from XML to text |
||
| 87bddda | 2017-09-27 17:51:45 | |
|
Merge remote-tracking branch 'origin/master' |
||
| 75c8365 | 2017-09-27 17:27:58 | |
|
[Correct] Sort parameters |
||
| 5645887 | 2017-09-27 15:33:25 | |
|
[modify] samples |
||
| 4f0838b | 2017-07-18 15:35:20 | |
|
just make sure the code base is updated |
||
| 70115bd | 2017-07-18 15:25:30 | |
|
Just make sure the code is updated |
||
| 46b3ca0 | 2017-05-25 17:48:31 | |
|
Use random number for tie-breaking |
||
| 2331dfc | 2017-05-23 18:00:13 | |
|
Almost done. Need to introduce some asymmetry for tie-breaking. |
||
| eb6db62 | 2017-05-22 18:08:42 | |
|
still buggy |
||
| d1bd46a | 2017-05-22 16:29:05 | |
|
Delete greedy part |
||
| 65cccc5 | 2017-05-22 15:35:15 | |
|
Precomputation for vertical growth |
||
| c3a15d0 | 2017-05-18 13:34:58 | |
|
Done horizontal growth |
||
| 2e04409 | 2017-05-18 09:01:53 | |
|
add IPOG.java |
||
| 8596e63 | 2017-05-17 09:07:55 | |
|
Made part of a skelton where IPOG runs |
||
| 73ca751 | 2017-05-15 18:40:08 | |
|
sort factors |
||
| 694443e | 2017-05-15 16:51:25 | |
|
I have copied the CIT-bach project. |
||
| dfb9b32 | 2016-03-24 14:24:11 | |
|
Version 1.10 |
||