satif-minisat

Crates.iosatif-minisat
lib.rssatif-minisat
version0.2.7
created_at2024-10-21 08:02:17.862496+00
updated_at2025-02-19 02:06:44.672436+00
descriptionRust wrapper for the minisat SAT solver
homepage
repositoryhttps://github.com/gipsyh/minisat-rs
max_upload_size
id1417080
size254,265
Yuheng Su (gipsyh)

documentation

README

minisat-rs

minisat with rust binding

Commit count: 30

cargo fmt