Combinatorial Problem Solving (CPS)

Project: Logic Synthesis

---

1. Problem Description

In this project, we aim to synthesize circuits using NOR gates to implement Boolean functions. The goal is to minimize the depth of the circuit, with size as a secondary consideration. Given a truth table representing the desired function, the task is to find an optimal NOR-circuit.

---

2. Building and Executing the Program

Building

To build the program, use the provided Makefile. Ensure you have Gecode installed in the specified directory. Run the following command:

make nlsp

Running and check Instances

To run instances of the problem, execute the provided script:

make run_instances

Running and Saving Output

To run instances and save the output, execute the following command:

make run_and_save