1 
use strum_macros::Display;
2 
use strum_macros::{EnumIter, EnumString};
3 

            

        

            

                4
            

            

                
            

            

                
/// All supported solvers.

            

        

            

                5
            

            

                
            

            

                
#[derive(Debug, EnumString, EnumIter, Display)]

            

        

            

                6
            

            

                
            

            

                
pub enum Solver {

            

        

            

                7
            

            

                
            

            

                
    Minion,

            

        

            

                8
            

            

                
            

            

                
    KissSAT,

            

        

            

                9
            

            

                
            

            

                
}