Data

Tools

Indexes

Applications

Experiments

Open Source Science

dqg

Working repository for a research project about Descriptive Quotient Graphs (cf. https://www.ijcai.org/Proceedings/15/Papers/212.pdf).

https://github.com/firefighterduck/dqg

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (4.8%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

Working repository for a research project about Descriptive Quotient Graphs (cf. https://www.ijcai.org/Proceedings/15/Papers/212.pdf).

Basic Info
Statistics
  • Stars: 1
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created almost 5 years ago · Last pushed over 1 year ago
Metadata Files
Readme License Citation

README.md

Rust

Purpose of this repository

This repository is the working repository for a research project about descriptive quotient graphs. To be more precise, it contains a tool that takes graphs in dreadnaut-like style and computes for quotient graphs picked by a heuristic whether they are descriptive. The quotient graphs are computed from automorphism group generators, which in turn are computed via nauty/Traces. They are then checked for descriptiveness by the SAT solver kissat.

As long as the research project is ongoing, this repository will remain a simple working repository, i.e. issues and PRs will be ignored. After the project is done, the tool will become open to contributions by others as well.

Owner

  • Name: FireFighterDuck
  • Login: firefighterduck
  • Kind: user

PhD student for logic in computer science

Citation (CITATION.cff) 

abstract: "A tool to work with and investigate descriptive quotient graphs."
authors:
  - family-names: Sextl
    given-names: Florian
cff-version: 1.2.0
message: "If you use this software, please cite it using these metadata."
keywords:
    - research
    - "automorphism group"
    - "graph symmetry"
license: MIT
repository-code: "https://github.com/firefighterduck/dqg"
title: "Descriptive Quotient Graphs"
version: 0.11.0
type: software

GitHub Events

Total
Last Year

Dependencies

.github/workflows/rust.yml actions
  • actions-rs/cargo v1 composite
  • actions-rs/toolchain v1 composite
  • actions/checkout v2 composite
  • actions/download-artifact v2 composite
  • actions/upload-artifact v2 composite
  • crazy-max/ghaction-github-pages v2 composite
  • dieghernan/cff-validator main composite
Cargo.lock cargo
  • abort_on_panic 2.0.0
  • aho-corasick 0.7.15
  • ansi_term 0.11.0
  • atty 0.2.14
  • autocfg 1.0.1
  • bindgen 0.58.1
  • bitflags 1.2.1
  • cc 1.0.68
  • cexpr 0.4.0
  • cfg-if 1.0.0
  • clang-sys 1.2.0
  • clap 2.33.3
  • crossbeam-channel 0.5.1
  • crossbeam-deque 0.8.1
  • crossbeam-epoch 0.9.5
  • crossbeam-utils 0.8.5
  • custom_debug_derive 0.5.0
  • derive-try-from-primitive 1.0.0
  • either 1.6.1
  • env_logger 0.8.4
  • flussab 0.1.0
  • flussab-cnf 0.2.0
  • glob 0.3.0
  • heck 0.3.3
  • hermit-abi 0.1.19
  • humantime 2.1.0
  • itertools 0.10.1
  • itoa 0.4.8
  • lazy_static 1.4.0
  • lazycell 1.3.0
  • libc 0.2.97
  • libffi 1.0.1
  • libffi-sys 1.1.1
  • libloading 0.7.0
  • log 0.4.14
  • make-cmd 0.1.0
  • memchr 2.3.4
  • memoffset 0.6.4
  • minimal-lexical 0.1.2
  • nom 5.1.2
  • nom 7.0.0
  • num 0.4.0
  • num-bigint 0.4.0
  • num-complex 0.4.0
  • num-integer 0.1.44
  • num-iter 0.1.42
  • num-rational 0.4.0
  • num-traits 0.2.14
  • num_cpus 1.13.0
  • peeking_take_while 0.1.2
  • proc-macro-error 1.0.4
  • proc-macro-error-attr 1.0.4
  • proc-macro2 1.0.27
  • quote 1.0.9
  • rayon 1.5.1
  • rayon-core 1.9.1
  • regex 1.4.6
  • regex-syntax 0.6.25
  • rustc-hash 1.1.0
  • scopeguard 1.1.0
  • shlex 1.0.0
  • strsim 0.8.0
  • structopt 0.3.21
  • structopt-derive 0.4.14
  • syn 1.0.73
  • synstructure 0.12.4
  • termcolor 1.1.2
  • textwrap 0.11.0
  • thiserror 1.0.26
  • thiserror-impl 1.0.26
  • unicode-segmentation 1.7.1
  • unicode-width 0.1.8
  • unicode-xid 0.2.2
  • vec_map 0.8.2
  • version_check 0.9.3
  • which 3.1.1
  • winapi 0.3.9
  • winapi-i686-pc-windows-gnu 0.4.0
  • winapi-util 0.1.5
  • winapi-x86_64-pc-windows-gnu 0.4.0
Cargo.toml cargo