kepler-formal 0.5.0-20261026-a64adfafLatest published 1h ago
MODULE.bazel
bazel_dep(name = "kepler-formal", version = "0.5.0-20261026-a64adfaf")
Dependencies
Loading README

About

Digital Design Equivalence Checking

@keplertech/kepler-formal@keplertech
Homepage
114stars
9:36 AM (1 hour ago)
@oharboe#11201 kepler-formal@0.5.0-20261026-...

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

0.5.0-20261026-...2026-11-04