1 
use crate::Solver;
2 
use thiserror::Error;
3 

            

        

            

                4
            

            

                
            

            

                
#[derive(Error, Debug)]

            

        

            

                5
            

            

                
            

            

                
pub enum SolverError {

            

        

            

                6
            

            

                
            

            

                
    #[error("not supported in solver `{0}`: `{1}`.")]

            

        

            

                7
            

            

                
            

            

                
    NotSupported(Solver, String),

            

        

            

                8
            

            

                
            

            

                

            

        

            

                9
            

            

                
            

            

                
    #[error("invalid instance for solver `{0}`:`{1}`")]

            

        

            

                10
            

            

                
            

            

                
    InvalidInstance(Solver, String),

            

        

            

                11
            

            

                
            

            

                

            

        

            

                12
            

            

                
            

            

                
    #[error(transparent)]

            

        

            

                13
            

            

                
            

            

                
    Other(#[from] anyhow::Error),

            

        

            

                14
            

            

                
            

            

                
}