Rust製SATソルバー一覧

Here's the list of SAT solvers in crates.io.

• https://crates.io/search?q=SAT%20solver

varisat

A CDCL based SAT solver (command line tool)

• https://crates.io/crates/varisat
• https://crates.io/crates/varisat-cli

batsat

Extensible SAT solver in Rust

• https://crates.io/crates/batsat

cryptominisat

Rust bindings for Cryptominisat, a boolean satisfiability solver

• https://crates.io/crates/cryptominisat

splr

My solver.

• https://crates.io/crates/splr

Related project

bcsat

A parser, printer and related utilities for BCSAT

• http://users.ics.aalto.fi/tjunttil/bcsat/
• https://crates.io/crates/bcsat

ipasir

Bindings for the IPASIR API to communicate with incremental SAT solvers.

• https://crates.io/crates/ipasir