summaryrefslogtreecommitdiff
path: root/graph-checker/src/main.rs
AgeCommit message (Expand)Author
2024-10-29fix(graph-checker): fix compute for independent dominating numberAndrew Guschin
2024-10-28fix: close database when program is doneAndrew Guschin
2024-10-11feat: add better loggingAndrew 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-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-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-04-19Added theorems from Gould 2003Andrew Guschin
2023-04-10Added is_free_of, is_2_connected and thorem 3.1Andrew 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 21:14:05 +0000