lolo / Code Commit Log

Commit	Date
[r24] by cetinsert improved the check that determines whether a tableaux is closed from O(n^2) to O(n*log n) time	2008-03-19 01:15:56	Tree
[r23] by cetinsert corrected license text	2008-03-14 04:50:37	Tree
[r22] by cetinsert switched to BSD-style license	2008-03-14 04:47:27	Tree
[r21] by cetinsert	2008-03-06 03:04:41	Tree
[r20] by cetinsert improved n-ary and	2008-03-06 03:00:52	Tree
[r19] by cetinsert improved temporary closed check	2008-03-03 17:03:34	Tree
[r18] by cetinsert new temporary closed check	2008-03-03 16:51:50	Tree
[r17] by cetinsert improved tableaux reductions	2008-02-27 23:51:57	Tree
[r16] by cetinsert unstable test commit	2008-02-27 14:23:51	Tree
[r15] by cetinsert XOR reduction corrected	2008-02-25 06:16:37	Tree

[r24] by cetinsert

improved the check that determines whether a tableaux is closed from O(n^2) to O(n*log n) time

2008-03-19 01:15:56

Tree

[r23] by cetinsert

corrected license text

2008-03-14 04:50:37

Tree

[r22] by cetinsert

switched to BSD-style license

2008-03-14 04:47:27

Tree

[r21] by cetinsert

2008-03-06 03:04:41

Tree

[r20] by cetinsert

improved n-ary and

2008-03-06 03:00:52

Tree

[r19] by cetinsert

improved temporary closed check

2008-03-03 17:03:34

Tree

[r18] by cetinsert

new temporary closed check

2008-03-03 16:51:50

Tree

[r17] by cetinsert

improved tableaux reductions

2008-02-27 23:51:57

Tree

[r16] by cetinsert

unstable test commit

2008-02-27 14:23:51

Tree

[r15] by cetinsert

XOR reduction corrected

2008-02-25 06:16:37

Tree

lolo Code