summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2024-10-28feat: add program for visualizing graphsAndrew Guschin
2024-10-28fix: close database when program is doneAndrew Guschin
2024-10-28feat: add table formatter programAndrew Guschin
2024-10-11feat: add better loggingAndrew Guschin
2024-10-11fix: remove dependenciesAndrew Guschin
2024-10-11chore: fix clippy warningsAndrew Guschin
2024-10-11optimize a bitAndrew Guschin
2024-10-10add batched insertAndrew Guschin
2024-10-09add timerAndrew Guschin
2024-10-09add vendor configAndrew Guschin
2024-10-09remove deps for nirAndrew Guschin
2024-10-09almost doneAndrew Guschin
2024-10-09wipAndrew Guschin
2024-10-08wip3Andrew Guschin
2024-10-08wipAndrew Guschin
2024-10-08wipAndrew Guschin
2024-09-11fix: replace actix with actix-webAndrew Guschin
2024-09-11chore: extracted theorem checks to separate functionAndrew Guschin
2024-09-10chore: merge presentation with reportHEADmasterAndrew Guschin
2024-09-10feat: move project to compiling with tectonic typesettingAndrew Guschin
Bibliography with bibtex for russian-language sources still needs to be fixed.
2024-09-10feat: add async processor of tasksgeng-genAndrew Guschin
2024-09-10feat: changes in reportAndrew Guschin
2024-04-01feat: replace stdin with geng-generatorAndrew Guschin
2024-03-31latest versionAndrew Guschin
2023-05-18Some changes in graph-checkerAndrew Guschin
2023-05-17Added theory for forbidden subgraphsAndrew Guschin
2023-05-17Added presentation from conferenceAndrew Guschin
2023-04-19Added maker.shAndrew Guschin
2023-04-19Added theorems from Gould 2003Andrew Guschin
2023-04-10Added is_free_of, is_2_connected and thorem 3.1Andrew Guschin
2023-04-09Added bruteforce check for isomorphismAndrew Guschin
2023-04-09Added automatic derives and removed manual implAndrew Guschin
2023-04-09Restructured project into multiple filesAndrew Guschin
2023-04-09Changed structure of project and renamed binaryAndrew Guschin
2023-04-09Final changesAndrew Guschin
2022-06-08Add intro and conclusionAndrew Guschin
2022-06-08Update documentclass and main definitionsAndrew Guschin
2022-06-08Add new titlepage styleAndrew Guschin
2022-06-07First version of reportAndrew Guschin
2022-05-19Add report templateAndrew Guschin
2022-05-13Add Dirac's, Ore's, Posa's theoremsAndrew Guschin
2022-05-13Update toughness calculation to use binary searchAndrew Guschin
2022-05-13Add functions for checking and calculating toughnessAndrew Guschin
2022-05-11Refactored cutset codeAndrew Guschin
2022-05-11Added algorithm for computing maximal independent cutsetAndrew Guschin
2022-05-11Added function for getting minimal degree in graphAndrew Guschin
2022-05-11Added algorithms for counting components and iterating over all cutsetsAndrew Guschin
2022-05-10Added function for calculating hamiltonian pathAndrew Guschin
2022-04-14Added faster degree function and time measurementAndrew Guschin
2022-04-07Added check of Bondy - Chvatal theoremAndrew Guschin
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-17 15:14:13 +0000