Timo Kaufmann 5880c449dd nauty: small refactoring		2019-04-04 14:54:05 +02:00
..
default.nix	nauty: small refactoring	2019-04-04 14:54:05 +02:00