cadical 3.0.0Latest published 1h ago
MODULE.bazel
bazel_dep(name = "cadical", version = "3.0.0")
Dependencies
Loading README

About

CaDiCaL SAT Solver

@arminbiere/cadical@arminbiere
Homepage
621stars
12:12 PM (1 hour ago)
@oharboe#10883 cadical@3.0.0 (#10883)

Languages

C++87%
C11.2%
Shell1.8%
Dockerfile0%
Makefile0%

Maintainers

@xtofalex
@nanocoh

Compatibility

Versions

3.0.02026-10-20