Florian Stecker
|
4342a1f3e5
|
changed spaces to tabs
|
2018-11-20 22:31:54 -08:00 |
|
Florian Stecker
|
b823aa7b0b
|
Fixes
|
2017-03-20 10:46:23 +01:00 |
|
Florian Stecker
|
161d850294
|
generators output
|
2017-03-20 09:36:48 +01:00 |
|
Florian Stecker
|
1e0959b7ce
|
Results seem sensible
|
2016-11-23 20:58:05 +01:00 |
|
Florian Stecker
|
3bd8ff019d
|
Callbacks
|
2016-11-19 11:16:45 +01:00 |
|
Florian Stecker
|
882695c15e
|
Cleanup in bitvec.h and bugfix in principal ideal generation
|
2016-11-18 20:39:19 +01:00 |
|
Florian Stecker
|
ed63dc2b82
|
Getting better, but still not there
|
2016-11-16 23:46:37 +01:00 |
|
Florian Stecker
|
1811cf143e
|
still not working
|
2016-11-16 22:59:35 +01:00 |
|
Florian Stecker
|
562e9bb50a
|
Including bitvectors, but slow and wrong
|
2016-11-15 18:55:30 +01:00 |