Rev. | Time | Author |
---|---|---|
f4d33ce dev/add_pom master | 2018-09-22 02:52:22 | tallman |
add testcase |
||
9a5fb23 | 2018-09-22 01:16:36 | tallman |
change source file encoding MS932 to UTF-8. |
||
cdeab91 | 2018-09-22 00:56:15 | tallman |
- add pom.xml |
||
fd30418 | 2018-08-22 15:32:09 | Tatsuhiro Tsuchiya |
Small but critical bug was fixed |
||
9a57fef | 2018-07-27 13:39:53 | Tatsuhiro Tsuchiya |
find forbidden pairs |
||
8a74dda | 2018-07-27 13:35:25 | Tatsuhiro Tsuchiya |
Create new program to find forbidden pairs |
||
694443e | 2017-05-15 16:51:25 | t-tutiya |
I have copied the CIT-bach project. |
||
dfb9b32 | 2016-03-24 14:24:11 | t-tutiya |
Version 1.10 |
||
1182938 | 2016-02-19 18:16:33 | t-tutiya |
Corrected CVS processing. (It is only used for processing a seeding |
||
8bbb7dd | 2015-11-02 19:26:30 | t-tutiya |
Somewhat big changes are made. Now only the parameters involved in the |
||
a90f961 | 2015-10-16 17:52:49 | t-tutiya |
Now parameters involved in constraints are passed to the BDD |
||
952a25f | 2015-10-16 14:12:00 | t-tutiya |
Support arithmetic comparator !=== |
||
8a4cc78 | 2015-10-16 11:48:47 | t-tutiya |
Support of arithmetic comparison, including < > <= >= ===. |
||
52f55c2 1.02 | 2015-05-25 19:02:21 | t-tutiya |
Merge Japanese and English versions |
||
446e4f1 | 2015-05-22 18:55:32 | t-tutiya |
Bug fixes related to ref/deref of BDD nodes |
||
b2daba4 | 2015-05-21 06:28:05 | t-tutiya |
Fixed bugs related to refs/derefs of BDD nodes |
||
5063616 1.01 | 2015-05-01 15:36:00 | t-tutiya |
1.01 |
||
ed30d83 | 2014-03-16 03:39:16 | t-tutiya |
サンプル追加 |
||
184e61e | 2014-03-11 00:41:41 | t-tutiya |
例外へserialize用idを追加. |
||
acf1bc9 | 2014-03-10 16:25:33 | t-tutiya |
仕様と入力サンプルデータを追加.ディレクトリinputsamples以下. |
||
6672b67 | 2014-03-09 00:54:49 | t-tutiya |
いったんプロジェクトを削除して、リモートからフェッチ |
||
fefd88b | 2014-03-09 00:13:34 | t-tutiya |
てすと |
||
45b6fc8 | 2014-03-08 23:56:29 | t-tutiya |
全部あげます. |