Bit manipulations on saturation matrices

Function: bitstring_t satmat_get (const satmat_t* sat, int i, bitindex_t jx)

Return the bit corresponding to the row i and the column jx. If the result is null, the bit is set to zero, a non null value indicates a bit set to one.

Function: void satmat_set (satmat_t* sat, int i, bitindex_t jx)

Sets to one the bit of row i and column jx.

Function: void satmat_set (satmat_t* sat, int i, bitindex_t jx)

Sets to zero the bit of row i and column jx.