GitHub - kazimierz-256/Cerny-conjecture: A distributed system for verifying the long-standing Černý conjecture. All rights reserved.

kazimierz-256 / Cerny-conjecture Public

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 248 Commits
.vscode		.vscode
AutomataIterator		AutomataIterator
AutomataIteratorExperimentalBenchmark		AutomataIteratorExperimentalBenchmark
AutomataIteratorTests		AutomataIteratorTests
BinaryAutomataChecking		BinaryAutomataChecking
BinaryAutomataCheckingSomeTesting		BinaryAutomataCheckingSomeTesting
BinaryAutomataCheckingTests		BinaryAutomataCheckingTests
Client		Client
CommunicationContracts		CommunicationContracts
Copied-ready-to-run-win-x64		Copied-ready-to-run-win-x64
CoreDefinitions		CoreDefinitions
CoreServer		CoreServer
NonisomorphicEndofunctors		NonisomorphicEndofunctors
NonisomorphicEndofunctorsTests		NonisomorphicEndofunctorsTests
Poster		Poster
Presentation		Presentation
.gitattributes		.gitattributes
.gitignore		.gitignore
AutomataIterator.sln		AutomataIterator.sln
EXAMPLE-run-four-clients.cmd		EXAMPLE-run-four-clients.cmd
EXAMPLE-run-one-client.cmd		EXAMPLE-run-one-client.cmd
LICENSE		LICENSE
README-EXAMPLES.txt		README-EXAMPLES.txt
UndergraduateThesisNikonowiczWojciechowski.pdf		UndergraduateThesisNikonowiczWojciechowski.pdf
build-client-win-x64.cmd		build-client-win-x64.cmd
build-presentation-win-x64.cmd		build-presentation-win-x64.cmd
build-server-win-x64.cmd		build-server-win-x64.cmd
run-client.cmd		run-client.cmd
run-presentation.cmd		run-presentation.cmd
run-server.cmd		run-server.cmd
stop-all.cmd		stop-all.cmd
vswhere.exe		vswhere.exe

Repository files navigation

All rights reserved. I encourage you to contact the authors for permission.

No releases published

No packages published