# 3SAT Solver Client

This client is configured for the current Arb Sepolia 3SAT test deployment by default.

## Quick Start

1. Open .env.example.
2. Paste a dedicated solver wallet private key into SOLVER_PRIVATE_KEY=.
3. Save it as .env.
4. Run the start script for your platform.

The client defaults to live mode on Arb Sepolia. It will discover bounties, download CNF instances, solve with the bundled CryptoMiniSat binary, upload nswer.cnf, commit, reveal, and wait for finalization.

## Advanced Settings

Network, contract addresses, polling, dry-run mode, and local cache paths are optional advanced settings in .env.example. Leave them commented unless you are testing another deployment.