merge SAT verifier#9

Open

Songtuan-Lin wants to merge 13 commits intopanda-planner-dev:masterfrom

Songtuan-Lin:master

Commits on Jan 10, 2023

still have some problems in the add_custom_command
Songtuan-Lin
committed

Commits on Jan 12, 2023

disable cmd arguments for other verifiers
Songtuan-Lin
committed