Function haybale::solver_utils::sat

pub fn sat(btor: &Btor) -> Result<bool>

Returns true if current constraints are satisfiable, false if not.

Returns Error::SolverError if the query failed (e.g., was interrupted or timed out).