|
|
dcf9b798dc
|
fix, clean, add checkpoints
|
2018-12-13 21:06:14 +01:00 |
|
|
|
e3257d32c0
|
fancy API, comments, clean refactoring
|
2018-12-12 22:40:23 +01:00 |
|
|
|
05822d8a42
|
refactor everything as operators of an iterative search
|
2018-12-12 19:28:01 +01:00 |
|
|
|
27b52fef6c
|
first commit
|
2018-12-08 19:40:22 +01:00 |
|
