The current version of pack logicmoo_ec does not contain a file test/ec_planner/examples/ecasp/ThielscherCircuit40-ea.e
logicmoo_ec
test/ec_planner/examples/ecasp/ThielscherCircuit40-ea.e