Welcome to ROVEaC’s documentation!

ROVEaC is a Python library for counterexample checking and one-vertex extension of Ramsey theory candidate graphs. It offers a simple and intuitive API that can be leveraged with counterexample sets, such as those offered by Brendan McKay

Check out the Usage section for further information, including how to Installation the project.

Note

This project is under active development.

Contents

• Usage
  • Installation
  • Usage Examples
• API
  • roveac
    • ROVEaC package
    • roveac.counter_checker
      • Counter Checkers
        • Classes
      • CounterChecker
        • CounterChecker.check()
        • CounterChecker.has_clique_of_size_k()
        • CounterChecker.has_independent_set_of_size_k()
    • roveac.decrementor
      • Decrementors
        • Classes
      • Decrementor
        • Decrementor.decrement()
    • roveac.extend
      • Searches
        • Classes
      • Extender
        • Extender.extend()
    • roveac.isomorphism_hasher
      • Isomorphism Hashers
        • Classes
      • IsomorphismHasher
        • IsomorphismHasher.hash()
    • roveac.key_generator
      • Key Generators
        • Classes
      • KeyGenerator
        • KeyGenerator.count_all_subgraphs()
        • KeyGenerator.generate_key()
    • roveac.mapping_constructor
      • Mapping Constructors
        • Classes
      • MappingConstructor
        • MappingConstructor.construct_mapping()