Place all of the ingredients in the Instant Pot or similar Pressure cooker.

Cover with the pressure cooker top, making sure that the quick release switch is closed. Push the manual button and set it for 3 to 4 minutes if the Brussels sprouts are good size and whole and 2 to 3 minutes if they are very small or cut in half. If you like them harder than fork tender, you should set it for less time. You can always cook them longer if they aren't done to your liking by just setting the lid back over the pot and letting them sit in the pot a minute or two more.

When the time is up, hit the off button and quick release the pressure.

Stir until the Brussels sprouts are evenly covered with sauce and serve.