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 |
|