Function run_solver 

pub fn run_solver(
    solver: &str,
    args: &[&str],
) -> Result<Output, SATSolversError>

Runs the specified solver with the given command-line arguments.

This is a low-level function that executes the solver binary directly. For most use cases, prefer using the SolverExecutor trait instead.

Arguments

• solver - The name of the solver (case-insensitive)
• args - Command-line arguments to pass to the solver

Errors

Returns SATSolversError::SolverNotAvailable if the solver is not enabled, or SATSolversError::IoError if execution fails.

Example

use sat_solvers::run_solver;

let output = run_solver("cadical", &["--help"]).unwrap();