Attribute Macro solver 

#[solver]

Select the SAT solver to use with CBMC for this harness

The attribute #[kani::solver(arg)] can only be used alongside #[kani::proof].

arg - name of solver, e.g. kissat