Skip to main content

cadical_path

sat_solvers

Function cadical_path 

Source 
pub fn cadical_path() -> PathBuf
Expand description

Returns the path to the CaDiCaL binary.

The path can be overridden by setting the CADICAL_BINARY_PATH environment variable. Otherwise, the path determined at build time is used.

ยงPanics

Panics if the cadical feature is not enabled.