LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Cuda

gpu-bisimulation

A GPU Bisimulation algorithm

CudaEmerging
GitHub
Stars
—
Forks
—
Contributors
2
Last push
39mo ago

Recent commits

Latest commits.

  • C++ standard-compliance to make it cross-platform compilable
    2eaa864sebastianbetancourt39mo ago
  • The complete algorithm
    f6fb490Lars69mo ago
  • Initial commit
    577caddLars69mo ago

Top contributors

Builders behind this project.

sakehl
2 commits
SebastianBetancourt
1 commits