summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-10-30fix(nir): update tables with correct dataAndrew Guschin
2024-10-30fix(drawer): fix output formatAndrew Guschin
2024-10-29wip(nir): reportAndrew Guschin
2024-10-29fix(graph-checker): fix compute for independent dominating numberAndrew Guschin
2024-10-28fix(tables): more general ignore for sqlite filesAndrew Guschin
2024-10-28fix: accept g6 from args in drawerAndrew Guschin
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-17 18:12:38 +0000