OSDN -- Develop and Download Open Source Software

Filter RSS
Chamber History: IPOGwBDD

2019-06-29
02:38
IPOGwBDD
t-tutiya
[Wiki] Page 'FrontPage' has been updated
02:27
IPOGwBDD
t-tutiya
[PF/Files] File build20180329.jar has been moved to 201803
02:27
IPOGwBDD
t-tutiya
[PF/Files] New folder has been created: 201803
02:25
IPOGwBDD
t-tutiya
[PF/Files] New file has been published: exp201906.zip
02:17
IPOGwBDD
t-tutiya
[Wiki] Page 'FrontPage' has been updated
02:12
IPOGwBDD
t-tutiya
[PF/Files] New file has been published: ipogbdd.jar
2019-01-26
06:10
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: c0cae5fc0fde045f4ff87f5ea8bd569d2b6d52ce)
Fixed big bugs related to SAT
2019-01-21
15:05
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 2eac5537db038aee21f9f4f2a51056c6b103e7f7)
throw RuntimeException when exception was thrown by Sat4j
2019-01-17
12:39
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 533a0a1aa39a47da72a7d50e0c6ca55374f14101)
Fixed: erroneously closed System.out. now flush instead.
11:22
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 526fefbe2ba643227da395a7d4fe0b950fdb3ebe)
failed to improve new BDD. Left (erroneous) code as comments
03:32
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 07659a4c35d6b8a2d1d5b1ae0c6e5a04dd040974)
Now SAT part is done
2019-01-16
18:37
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: a1cf2ad3cbaf6be6253aadfcef3796063fee12f3)
Add some code to SATConstraint.java to invoke Sat4J
2019-01-08
15:30
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: c198628577c28207632bd24e6ba8c5f5bc63a65f)
Complete SAT part; but still needs optimization (very slow)
2019-01-07
17:23
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 807384a01ab289f37625a873e39a351a3d39f446)
Fix a bug in addtuple in IPOG.java. SAT is still buggy.
06:56
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: c31969cb1304d7bdab0154b4c0038ca5a017c6ca)
Build Boolean expression representing all constraints
2019-01-06
01:10
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: ef01681d31e3086fe0e9aa7893cba7022aac703e)
Some methods for SAT construction in Node.java
2018-12-27
16:37
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 92f160d6db0114bedcca546bfb474252ca37cc49)
make BDDConstraint handler abstract
2018-12-21
10:54
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 7eaabcbd2cd8e2c72d073b56d71f341c257b2b38)
add some comments
10:21
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 16f5b44446a572af8c3a1254b9ce6f9db1437740)
Create CombinatorialGenerator.java
2018-12-20
13:50
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: fc8318c27f62498b6efb6c305530ab3d13b7c185)
Started writing SAT part