An open API service providing repository metadata for many open source software ecosystems.

Topic: "graph-theory-algorithms"

ZigRazor/CXXGraph

Header-Only C++ Library for Graph Representation and Algorithms

Language: C++ - Size: 71.7 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 587 - Forks: 125

jrialland/python-astar

Simple implementation of the a-star algorithm in Python 🌟

Language: Python - Size: 1.17 MB - Last synced at: 9 days ago - Pushed at: 5 months ago - Stars: 235 - Forks: 66

JuliaGraphs/MultilayerGraphs.jl

A Julia package for the creation, manipulation and analysis of the structure, dynamics and functions of multilayer graphs.

Language: Julia - Size: 14.3 MB - Last synced at: 6 days ago - Pushed at: 11 months ago - Stars: 123 - Forks: 4

rostam/GraphTea

The Graph Theory Software

Language: Java - Size: 140 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 86 - Forks: 28

python-graphblas/graphblas-algorithms

Graph algorithms written in GraphBLAS

Language: Python - Size: 391 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 80 - Forks: 4

RosaUlisses/UGraph-Library

A C# open source graph library

Language: C# - Size: 96.7 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 13 - Forks: 1

yurukute/CTU

Repo tổng hợp các bài thực hành và bài làm trên hệ thống ELSE

Language: C - Size: 37.8 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 12 - Forks: 5

hanzhi713/Discrete-Math-Tools

Implementation and visualization of some number theory and graph theory algorithms

Language: JavaScript - Size: 5.88 MB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 12 - Forks: 3

discocube/weaver

Algorithm for solving the Hamiltonian cycle problem deterministically and in linear time on all instances of discocube graphs (tested for graphs with over 8 billion vertices). Discocube graphs are 3-dimensional grid graphs derived from: a polycube of an octahedron | a Hauy construction of an octahedron with cubes as identical building blocks...

Language: Rust - Size: 105 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 9 - Forks: 2

IgnaOromendia/UBA_AED3-TDA

Algorithms strategies - Graph theory

Language: C++ - Size: 5.14 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 8 - Forks: 2

diegozain/alles

All small projects that need a place to live, live here. Optimization, numerical methods, graph theory, and more.

Language: MATLAB - Size: 61.1 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 7 - Forks: 2

sohaibMan/GraphTheory

Graph theory is the study of graphs that concern with the relationship between edges and vertices, and in this project I have implemented a various number of algorithms such as Bfs Dfs Dijkstra Prime Kosaraju bellman-ford, and I made a UI to interact with them link

Language: HTML - Size: 9.08 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

Zeyu-Li/algorithms

A useful collections of algorithms, formulas, APTs, and some other notes 🗒

Language: C++ - Size: 165 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 1

NSLab-CUK/Graph-Mining-Spring-2025

Welcome to the Graph Mining (06837-01) class repository for the Department of Artificial Intelligence at the Catholic University of Korea. This platform is dedicated to sharing and archiving lecture materials such as practices, assignments, and sample codes for the class.

Language: Jupyter Notebook - Size: 33.5 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 6 - Forks: 1

LazyanArtyom/DCIS

Software System for Implementing Fault Tolerant Surveillance and Targeted Tasks Performance of a Collective Artificial Intelligent and Self-Organized Swarm of Drones

Language: C++ - Size: 5.27 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 5 - Forks: 3

sachin-duhan/network-analysis-using-graph-theory

This project helps us to better understand our Instagram network by detecting and analysing clusters within our Instagram friends.

Language: Python - Size: 70.8 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 0

AlexJakin/graph-theory-algorithm

Graph theory algorithm python implementation,which has the base class of the adjacency matrix of the graph and the ajdacency table,depth-first search (pre-order and post-order) and breadth-first search, in addition to the implementation of various application aspect of the graph ,Hamiltonian graph, directed graph Algorithm, the shortest path algorithm, Euler loop and Euler path, network flow, matching problem, etc.

Language: Python - Size: 145 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 1

MemerGamer/GraphTheory

In this repository there are graph theory exercises for my University.

Language: C++ - Size: 204 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0

ffekirnew/a2sv-competitive-programming

A2SV's competitive programming tracks.

Language: Python - Size: 1.86 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

LexiNodeGraph/LexiNode

Graph Theory applied to academic papers.

Language: TypeScript - Size: 1.36 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

Briggs599/HinDroid-Malware-Detection-Project

Based on the HinDroid architecture outlined in the following paper: https://www.cse.ust.hk/~yqsong/papers/2017-KDD-HINDROID.pdf

Language: Jupyter Notebook - Size: 5.27 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

Ahajha/snake-in-a-box

Repository for algorithm experimentation for the snake-in-a-box problem.

Language: C++ - Size: 1.29 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

blat-blatnik/McGraph-Graph-Editor

A GUI program for editing and solving common graph-theory problems.

Language: Java - Size: 963 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

khang3004/SocialNetworkAnalysis-Course

This repository contains materials, assignments, and projects from my Social Network Analysis course as a fourth-year Data Science student.

Language: Jupyter Notebook - Size: 32.4 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

OliverIgnetik/Data-Structures-Algorithms-Python

Repository on data structures and algorithms implemented for python.

Language: Python - Size: 8.55 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 1

marianpekar/graphs-dotnet

A .NET library made primarily for studying graph theory algorithms

Language: C# - Size: 19.5 KB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

IgorPietrzak/DominatingGraphs

Compute the domination number (minimal dominating set of vertices) of an undirected graph.

Language: Rust - Size: 19.5 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

RichaSavant/Airplane-Routing-Optimization-Algorithms-Nov_2023

This project develops and implements algorithms to optimize airplane flight routes, aiming to minimize fuel consumption, reduce travel time, and enhance air traffic efficiency. The Jupyter Notebook details using graph theory, shortest path algorithms, and optimization methods for this purpose.

Language: Jupyter Notebook - Size: 77.1 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 2

iantang08/dmojQuestions

A collection of my solutions to various DMOJ problems, showcasing my journey of learning and applying algorithms while honing my problem-solving skills.

Language: C++ - Size: 20.5 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

TrevorDArcyEvans/GraphML

Graph analysis at scale with browser based visualisation

Language: HTML - Size: 9.03 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

algofaktura/easy_dc_rust

A rust translation of my easy_dc algorithm and very first rust program.

Language: Rust - Size: 71 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 1

smhenderson89/adjacentLetters

Find shortest path between letters on a keyboard from first names

Language: JavaScript - Size: 5 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

leyviya/stable-matching-problem

Graph Theory Applications course semester project

Language: Jupyter Notebook - Size: 2.97 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

SiNa88/M-RAP

Language: Python - Size: 1010 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

MaciejPel/graph-coloring

Graph coloring with Tabu Search method

Language: Python - Size: 936 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

EnkiDoctor/Core_number_calculation_in_graph

Core number calculation in graph

Language: Jupyter Notebook - Size: 4.36 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

Catatomik/visualisation-graphe

Mini site-appli permettant de visualiser un graphe (orienté ou non, pondéré ou non) et de le manipuler, légèrement.

Language: JavaScript - Size: 292 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

gml4gtk/pysugiyama

sugiyama directed graph layout visualisation in python

Language: Python - Size: 65.4 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

Madhur215/Data-Structures-And-Algorithms

Solutions of various classical & standard interview and competitive programming questions, and CSES problem set.

Language: C++ - Size: 94.7 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

shiningflash/Graph-Algorithm

Here are Graph Theory Algorithms in CPP

Language: C++ - Size: 110 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

gowthamrajk/Graph-Data-Structure

This module has some Advanced concepts and Programs related to Graph Theory in Java with program implementations

Language: Java - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

GheorgheMorari/RaylibCSGraphs

Practical implementation of Linear Transfromation

Language: C# - Size: 549 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

ShristiK/Text-Summarization

Automatic Text Summarization using a Graph Theoretic Approach

Language: Jupyter Notebook - Size: 484 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 2

NakulDeb/LightOJ-Solutions

Language: C++ - Size: 20.5 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

AlokikPathak/algorithms

Implementation of various algorithms and solved problems

Language: C - Size: 15.6 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

InductiveComputerScience/pbgraphs.ts

pbGraphs.ts is a graph library for TypeScript

Language: TypeScript - Size: 16.6 KB - Last synced at: about 8 hours ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

auroramaurizio/GRAPE

GRAph Parallel Environment

Language: Python - Size: 5.87 MB - Last synced at: 11 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 3

sardaralikhamosh/Burushaski_Words_Network

A network science and computational linguistics project analyzing lexical connections between Burushaski and global languages using centrality measures and interactive graph visualizations.

Language: Python - Size: 12.7 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 0 - Forks: 0

Nathanlie-Ortega/GraphAdjacencyWalkAnalyzer

C++ console app by Nathanlie Ortega using an adjacency list to create and analyze graphs. Features walk validation (open/closed, trail, path, cycle, circuit) and a user-friendly interface. Demonstrates core graph theory using vectors.

Language: C++ - Size: 37.1 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 0 - Forks: 0

Alepidoptera7/assembly_scaffold_BLAST

Algorithm to parse, assemble and align genomic sequences by use machine learning techniques. The resulting sequences are used to form NCBI-BLAST respects and return sequence homologs.

Language: Python - Size: 8.79 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

B-E-D-A/SD-HW-

Библиотека на C++ для решения задач поиска кратчайших путей в графах. Включает реализацию популярных алгоритмов, таких как поиск в ширину (BFS), алгоритм Дейкстры, алгоритм Беллмана-Форда, алгоритм A* (A-star), алгоритм Флойда-Уоршалла и алгоритм Джонсона.

Size: 1.09 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 1

MartinaVergara/DetectingHoles

An implementation of the Hole-Detection Algorithm proposed by Nikolopoulos and Palios

Language: Python - Size: 15.6 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

johnnyawesome/BreadthFirstSearch

The Breadth First Search Algorithm, written in P5JS

Language: JavaScript - Size: 4.24 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

RFerrari7/Social-Media-Analytics

This project aims to perform a social network and content analysis relatively to the r/marvelstudios subreddit from the popular online discussion forum Reddit. Report and project presentation are in english.

Language: Jupyter Notebook - Size: 19.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

MrZouu/Air_traffic_control_simulation

A program simulating a Air traffic control in 2D.

Language: C++ - Size: 8.59 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

Bilpapster/Literature-reviews

Small-scaled literature reviews produced as part of various University optional assignments

Size: 4.21 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

Floofies/QueueStack

Queue & Stack classes for JavaScript. Taken from Differentia.js

Language: JavaScript - Size: 7.81 KB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

MaciejPel/cycles

Eulerian and Hamiltonian cycles for Algorithms and Data Structures classes

Language: Python - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

topquark22/Sudoku

Sudoku solver. Uses abstract theory of colourable graphs, so the code could be generalized to other graph-colouring problems.

Language: Java - Size: 153 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

smhenderson89/NameDistance_NextJS

Find shortest path between letters on a keyboard from first names

Language: JavaScript - Size: 3.8 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

diogorrio/discovering_fm_for_treewidth

Project code developed to accompany the thesis of the bachelor programme BSc Data Science and Artificial Intelligence, taught by Universiteit Maastricht. It consists in (re-)discovering Forbidden Minors for Treewidth, through a series of graph search/analysis techniques.

Language: Python - Size: 323 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

tiborauer/GraphVar Fork of 4n4574514/GraphVar_2.0

GitHub for GraphVar

Language: MATLAB - Size: 34 MB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 1

discocube/weave Fork of algofaktura/easy_dc_rust

An algorithm for solving the Hamiltonian cycle problem deterministically and in linear time on all instances of discocube graphs (tested for over graphs with 1 billion vertices).

Language: Rust - Size: 71.3 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

glezdiazh/CULSPIN

CULSPIN- Computing ULam SPiral INdices tool

Language: Python - Size: 4.88 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Dare-marvel/Discrete-Structures-and-Graph-Theory

Notes

Size: 7.58 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

kggold4/algorithms

Algorithms Ariel University Courses and External Self Learning Algorithms

Language: Java - Size: 179 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

CheshireCat12/spectral-graph-theory

Language: Python - Size: 17.4 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

filipnovacki/labirintus

Repozitorij koji služi za rješavanje projekta iz Diskretnih struktra i teorije grafova. Tema je pronalaženje optimalnog puta u labirintu pomoću A* i Dijkstrinog algoritma.

Language: Jupyter Notebook - Size: 3.45 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

makuke1234/ProoviReisija

Tarkvara projekt, mille eesmärk on ära lahendada proovireisija ülesanne.

Language: C - Size: 660 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

robotane/graph-theory-algos

Quelques algorithmes de théorie des graphes implementés en Python

Language: Python - Size: 22.5 KB - Last synced at: 29 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

aanastasiou/fanmod-cmd Fork of gabbage/fanmod-cmd

The fanmod motif counter algorithm, supporting command line execution.

Language: C++ - Size: 924 KB - Last synced at: about 7 hours ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

lxaw/CPPWalkCounter

Using adjacency matrices to count walks.

Language: C++ - Size: 93.1 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

TEAM-IMT/zombies-spread-dynamics

Simulation of zombie epidemic using graph theory

Language: Jupyter Notebook - Size: 115 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

Arboghast/Graph-Theory-Algorithms

Custom implementations of Algorithms and Data Structures

Language: C++ - Size: 244 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

TomekGniazdowski/bellman-ford-algorithm

Language: C++ - Size: 1.18 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

zunigjor/BI-AG1

My work for the BI-AG1 class.

Language: C++ - Size: 147 MB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

tomica28/Snowplow-problem

Snowplow problem solution in Python using NetworkX package.

Language: Python - Size: 131 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

katsaii/dream-diagram 📦

A graphical interface used to create, display, traverse, and export simple directed graphs.

Language: Visual Basic .NET - Size: 1.39 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

BrandonMFong/Link-State-Routing

Dijkstra's algorithm

Language: C++ - Size: 333 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

miromannino/multi-level-networks-model

Implements the model, the algebra, and the concepts proposed for Multi Level Networks in my Master thesis.

Language: Java - Size: 3.22 MB - Last synced at: 2 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

wangz315/GraphAlgorithm

Graph Algorithm Library

Language: C++ - Size: 526 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

fouVReaux/ViaNavigo

Implementation of the Via Navigo app (Form the parisian subway)

Language: Python - Size: 301 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

schmetzyannick/GraphenBibliothek

GraphLib to solve common problems

Language: C++ - Size: 689 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

InductiveComputerScience/pbgraphs.js

A graph library for JavaScript.

Language: JavaScript - Size: 14.6 KB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

tanb01/tdg-tp1-frequences

Graph Theory Lab 1 2018-2019: Graph Coloring and Welsh-Powell Algorithms

Language: C++ - Size: 475 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

tanb01/tdg-tp2-graphe

Graph Theory Lab 2 2018-2019: Breadth First Search and Depth First Search Algorithms

Language: C++ - Size: 1.3 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

Related Topics
graph-theory 39 graph-algorithms 22 graph 18 algorithms 14 python 9 data-structures 8 cpp 8 dijkstra-algorithm 7 bellman-ford-algorithm 6 graphs 6 hamiltonian-cycle 5 graph-coloring 4 shortest-path-algorithm 4 rust 4 discrete-mathematics 4 graph-theory-analysis 4 dijkstra-shortest-path 4 visualization 4 dynamic-programming 4 python3 3 floyd-warshall-algorithm 3 c-plus-plus 3 machine-learning 3 graph-analysis 3 graph-datastructures 3 data-structures-and-algorithms 3 directed-graphs 3 bfs 2 weighted-graphs 2 algorithm 2 javascript 2 dfs 2 astar-algorithm 2 nodejs 2 bfs-algorithm 2 dfs-algorithm 2 bellman-ford 2 floyd-warshall 2 ece-paris 2 adjacency-list 2 flask 2 graph-library 2 dijkstra 2 social-network-analysis 2 recursion 2 algorithms-implemented 2 air-traffic-control 2 data-structure 2 csharp 2 optimization-algorithms 2 complex-networks 2 search-algorithm 2 graph-theory-demo 2 nextjs 2 a-star-algorithm 2 sculpture 2 np-complete-problems 2 loops 2 linear-complexity 2 grids 2 number-theory 2 network-analysis 2 hamiltonian-cycles 2 bioinformatics 2 undirected-graphs 2 segment-tree 2 typescript 2 competitive-programming 2 sorting-algorithms 2 breadth-first-search 2 maximum-flow 2 graph-sparsification 1 stack 1 literature-review 1 minimum-spanning-trees 1 hole-detection 1 nikolopoulos 1 palios 1 javascript-library 1 exhaustiveness-checking 1 queue 1 f4 1 f5 1 forbidden-minors 1 pruning-algorithms 1 thesis 1 treewidth 1 library 1 alignment-algorithm 1 bioinformatics-pipeline 1 biopython 1 de-novo-assembly 1 class 1 homology 1 graphs-algorithms 1 philogenetic-trees 1 dotnet-core 1 csharp-library 1 dotnet 1 dotnetcore 1