Macro rustsat::lit

macro_rules! lit {
    ($l:expr) => { ... };
}

More easily creates literals. Mainly used in tests.

Examples

assert_eq!(lit![42], Lit::positive(42));
assert_eq!(!lit![42], Lit::negative(42));