textX
z3-solver
click
idp_engine==0.10.2
