Macro rustsat::clause

macro_rules! clause {
    ( $($l:expr),* ) => { ... };
}