A Rust library for modelling and reasoning about multidimensional binary states