色々やっつけだけど、何とか https://github.com/msakai/toysolver/blob/1c94fb2f7743cd2c813724ab4378b723b9923415/samples/smt/QF_LRA.smt2 みたいな問題が解けるところまで来た……