answered 6 years ago
It might be possible to use libFES - Fast Exhaustive Search for Polynomial Systems over F2.