kissat 4.0.4Latest published 3h ago
MODULE.bazel
bazel_dep(name = "kissat", version = "4.0.4")
Dependencies
Loading README

About

No description provided.

@arminbiere/kissat@arminbiere
Homepage
673stars
11:36 AM (3 hours ago)
@oharboe#10880 kissat@4.0.4 (#10880)

Languages

C98.8%
Shell1.2%
Makefile0%
Roff0%

Maintainers

@xtofalex
@nanocoh

Compatibility

Versions

4.0.42026-10-12