This package includes modules for counterexample checking and Ramsey graph analysis.
Modules
counter_checker
Counter Checkers
decrementor
Decrementors
extend
Searches
isomorphism_hasher
Isomorphism Hashers
key_generator
Key Generators
mapping_constructor
Mapping Constructors