Fix bug in specifying comparator for sorting

there may be more of those

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Implement comparator for «improve-basic-order» the right way

do we need some performance testing here?

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Update project.clj

Use :global-vars instead of :warn-on-reflection

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Change implementation and interface of canonical-base

- now returns a lazy sequence of its result
- takes as third argument a predicate, similar to the one used
  by next-closed-set-in-family

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Implement «canonical-base» in terms of «canonical-base-from-clop»

reducing code redundancy

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Reduce search space for computing Luxenburger's base

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Allow for predicates in Luxenburger's base

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Tests for new features in Luxenburger base computation

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Cosmetics

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Allow seqable things to be come sets

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Update docstring for «explore-attributes»

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Abortion of exploration now propagates upto toplevel

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Fix microtypo

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Update docstring of «explore-attributes»

mention that handler can abort exploration

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Looking over «make-handler» again

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Implement seamless abortion of attribute exploration

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Fix test for aborting exploration

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Add test case for using automorphisms during exploration

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Update dependencies

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Removed «ns-doc» and replaced it with namespace docstrings

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>