SyNRAC: A Maple package for solving real algebraic constraints (Computer Algebra--Design of Algorithms, Implementations and Applications研究集会報告集)