System and method for determining hybrid-manufacturing process plans based on satisfiability modulo difference logic solver

A non-transitory computer-readable storage medium storing instructions that when executed by a computer cause the computer to perform a method for determining a hybrid-manufacturing process plan for manufacturing an object, the method comprising:

• obtaining a set of hybrid-manufacturing constraints for manufacturing the object, wherein the set of hybrid-manufacturing constraints include a set of primitives, a set of atoms, and an atom end-state vector, wherein an atom corresponds to a unit of spatial volume of the object, and wherein a primitive represents an additive or subtractive manufacturing process corresponding to one or more atoms of the object;
• determining a plurality of feasible hybrid-manufacturing plans based on the set of hybrid-manufacturing constraints, wherein each feasible hybrid-manufacturing plan represents an ordering of the set of primitives that satisfies the atom end-state vector;
• determining costs for manufacturing the object using the plurality of feasible hybrid-manufacturing plans;
• and
• determining, based on the costs, an optimized hybrid-manufacturing plan for manufacturing the object.

A computer system for determining a hybrid-manufacturing process plan for manufacturing an object, the system comprising:

• a processor;
• and
• a storage device coupled to the processor and storing instructions, which when executed by the processor cause the processor to perform a method, wherein the method comprises:
• obtaining a set of hybrid-manufacturing constraints for manufacturing the object, wherein the set of hybrid-manufacturing constraints include a set of primitives, a set of atoms, and an atom end-state vector, wherein an atom corresponds to a unit of spatial volume of the object, and wherein a primitive represents an additive or subtractive manufacturing process corresponding to one or more atoms of the object;
• determining a plurality of feasible hybrid-manufacturing plans based on the set of hybrid-manufacturing constraints, wherein each feasible hybrid-manufacturing plan represents an ordering of the set of primitives that satisfies the atom end-state vector;
• determining costs for manufacturing the object using the plurality feasible hybrid-manufacturing plans;
• and
• determining, based on the costs, an optimized hybrid-manufacturing plan for manufacturing the object.