https://123dok.net/document/yd7km7jl-verifying-sat-smt-coq-fully-automated-decision-procedure.html