summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-11-05wipuiAndrew Guschin
2024-09-11wip: add eguiAndrew 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
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
2022-04-06Initial commitAndrew Guschin
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-17 06:00:50 +0000