Constant boolector_sys::BTOR_SAT_ENGINE_PICOSAT

source · 
pub const BTOR_SAT_ENGINE_PICOSAT: BtorOptSatEngine = 1;