In this example, youâ€™ll learn how to solve a logical design problem, which involves constructing a circuit using the minimum number of NOR gates (devices with two inputs and one output) that will perform the logical function specified by a truth table. Weâ€™ll show you how to formulate this problem as a binary optimization problem using the Gurobi Python API and then use Gurobi Optimizer to automatically find the optimal solution.

This model is example 12 from the fifth edition of Model Building in Mathematical Programming by H. Paul Williams on pages 266-267 and 320-321.

This example is at the intermediate level, where we assume that you know Python and the Gurobi Python API and that you have some knowledge of building mathematical optimization models.

#### Access the Jupyter Notebook Modeling Example

Click on the button below to access the example in Google Colab, which is a free, online Jupyter Notebook environment that allows you to write and execute Python code through your browser.Â

#### How to Run the Jupyter Notebook Modeling Example

• To run the example the first time, choose â€śRuntimeâ€ť and then click â€śRun allâ€ť.
• All the cells in the Jupyter Notebook will be executed.
• The example will install the gurobipy package, which includes a limited Gurobi license that allows you to solve small models.
• You can also modify and re-run individual cells.
• For subsequent runs, choose â€śRuntimeâ€ť and click â€śon â€śRestart and run allâ€ť.
• The Gurobi Optimizer will find the optimal solution of the modeling example.

Check out theÂ Colab Getting Started GuideÂ for full details on how to use Colab Notebooks as well as create your own.

Choose the evaluation license that fits you best, and start working with our Expert Team for technical guidance and support.

Get a free, full-featured license of the Gurobi Optimizer to experience the performance, support, benchmarking and tuning services we provide as part of our product offering.
Gurobi supports the teaching and use of optimization within academic institutions. We offer free, full-featured copies of Gurobi for use in class, and for research.
##### Cloud Trial

Request free trial hours, so you can see how quickly and easily a model can be solved on the cloud.