Did you know ... Search Documentation:
Pack logicmoo_ec -- test/ec_planner/examples/translated/ThielscherCircuit1-ea.lp

The current version of pack logicmoo_ec does not contain a file test/ec_planner/examples/translated/ThielscherCircuit1-ea.lp