semvec/pypi-packages huggingface dataset:
ConvexTrader 0.0.3
A collection of SAT and SMT solvers for solving Sudoku puzzles
License: MIT
Requires Python: >=3.9

# Applications-of-Convex-Optimization

Fall 2024 Project: Applications of Convex Optimization

## Installation

### Setting Up a Virtual Environment

1. **Clone the repository**:
    ```bash
    git clone https://github.com/yourusername/Applications-of-Convex-Optimization.git
    cd Applications-of-Convex-Optimization
    ```

2. **Create a virtual environment**:
    ```bash
    python3 -m venv env
    ```

3. **Activate the virtual environment**:
    - On macOS and Linux:
        ```bash
        source env/bin/activate
        ```
    - On Windows:
        ```bash
        .\env\Scripts\activate
        ```

### Installing Dependencies

1. **Install the required packages**:
    ```bash
    pip install -r requirements.txt
    ```

### Running Tests

1. **Navigate to the tests directory**:
    ```bash
    cd tests
    ```

2. Follow the instructions in the README located in the tests directory to run the tests.