shnarazk / splr

A modern CDCL SAT solver in Rust

Home Page:https://crates.io/crates/splr

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

shnarazk/splr Stargazers