MQ-problem-solving-based-on-SMT-and-RL

Using SMT solver and Reinforcement Learning to solve MQ problem on GF(2);

---

Using Wu Method solving MQ-problem

$ sage make_dataset.sage
$ sage wu_charset_computing.sage

Notice that you should fix the variables num n and equations num m in the .sage files;