Implementation code for paper “Goal-conflict Identification Based on Local Search and Fast Boundary-condition Verification Based on Incremental Satisfiability Filter” in JSS \ ./experiment:\ Executable files and experimental scripts that can be directly used. \ ./source-code:\ Code Implementation of Paper Methods. \ ./utils:\ Some calculation scripts for experimental indicators. \