summaryrefslogtreecommitdiff
path: root/graph-checker
AgeCommit message (Collapse)Author
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-10feat: add async processor of tasksgeng-genAndrew 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-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
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-17 19:26:54 +0000