Macro ipasir_lit

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

More easily creates literals with IPASIR/DIMACS indexing (starts from 1) and negation (negative value is negation). Mainly used in tests.

Examples

assert_eq!(ipasir_lit![42], lit![41]);
assert_eq!(ipasir_lit![-42], !lit![41]);