sat-interface 0.1.0

This crate provides an abstraction interface for SAT solvers.

Coverage
77.78%
35 out of 45 items documented0 out of 42 items with examples
Size
Source code size: 46.7 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 2.8 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 13s Average build duration of successful builds.
all releases: 14s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
yaspar-org/sat-interface
0 0 0
crates.io
Dependencies
- cadical-sys ^0.7.0 normal optional
Versions
- 0.1.1 (2026-02-24)
- 0.1.0 (2026-02-11)
Owners

sat-interface

This crate provides an abstraction interface for SAT solvers.

See CONTRIBUTING for more information.

This project is licensed under the Apache-2.0 License.