kepler-formal 1.0.0-20261105-6870bd1aLatest published 1h ago
MODULE.bazel
bazel_dep(name = "kepler-formal", version = "1.0.0-20261105-6870bd1a")
Dependencies
Loading README

About

Digital Design Equivalence Checking

@keplertech/kepler-formal@keplertech
Homepage
114stars
3:50 PM (1 hour ago)
@nanocoh#11583 kepler-formal@1.0.0-20261105-...

Languages

C++84.7%
Python12.6%
CMake1.1%
Shell0.9%
Starlark0.4%
C0.1%
Nix0.1%
PowerShell0.1%
Verilog0.1%

Maintainers

@xtofalex
@nanocoh

Compatibility

Versions

1.0.0-20261105-... +1d2026-11-05