Rust library for symbolically executing brainf*** code - View it on GitHub