Systems and methods for adapting a neural network model on a hardware platform. An example method includes obtaining neural network model information comprising decision points associated with a neural network, with one or more first decision points being associated with a layout of the neural network. Platform information associated with a hardware platform for which the neural network model information is to be adapted is accessed. Constraints associated with adapting the neural network model information to the hardware platform are determined based on the platform information, with a first constraint being associated with a processing resource of the hardware platform and with a second constraint being associated with a performance metric. A candidate configuration for the neural network is generated via execution of a satisfiability solver based on the constraints, with the candidate configuration assigns values to the plurality of decision points.