Function solver_path 

pub fn solver_path(solver: &str) -> Result<PathBuf, SATSolversError>

Returns the path to the specified solver’s binary.

Arguments

• solver - The name of the solver (case-insensitive). Valid values are: "minisat", "glucose", "cadical", "kissat", "lingeling"

Errors

Returns SATSolversError::SolverNotAvailable if the solver is not enabled via feature flags or if the solver name is not recognized.

Example

use sat_solvers::solver_path;

let path = solver_path("cadical").unwrap();