--tdt Use TDT decoder
assert str(m.query_once("sublist([2], [1,2,3], Ps).")["Ps"]) == "[false, true, false]"
，更多细节参见新收录的资料
Set ex options for optimal long line performance，详情可参考新收录的资料
Block WAND Enables Early Pruning
All four Sun-like stars would fit inside the area of Jupiter’s orbit.