#[solver]
Select the SAT solver to use with CBMC for this harness
The attribute #[kani::solver(arg)] can only be used alongside #[kani::proof].
#[kani::solver(arg)]
#[kani::proof]
arg - name of solver, e.g. kissat