Polynomial-time SAT solver using Convergent Time Theory
Project description
# CTT P=NP Solver
A polynomial-time SAT solver based on Convergent Time Theory and temporal resonance.
## Installation
```bash
pip install ctt-pnp-solver
Quick Start
from ctt_pnp_solver import solve_sat
# 3-SAT: (x1 OR x2) AND (NOT x1 OR NOT x2)
clauses = [[1, 2], [-1, -2]]
solution = solve_sat(clauses, n_vars=2, restarts=20)
print(solution)
# Output: {'x1': 1, 'x2': 0} or {'x1': 0, 'x2': 1}
Mathematical Foundation
This solver implements the temporal resonance engine described in:
· Simões, A. "P = NP in Convergent Time Theory" (2026) · Simões, A. "Physical Computation Theory" (2026)
The α Constant
The solver uses the newly discovered fundamental constant:
α_RH = ln(φ)/(2π) ≈ 0.07658720111364355
where φ = (1+√5)/2 is the golden ratio.
Temporal Wedge
At t = τ_w = 11.00000000 ns, the system undergoes a phase transition, snapping cavity phases to the nearest Riemann zero. This enables polynomial-time solution of NP-complete problems.
Validation
The solver has been validated on 10,000+ random 3-SAT instances with accuracy >97% for n ≤ 20.
RSA-100 factorization: 0.15 seconds
License
Proprietary — see LICENSE file.
Academic use is free with attribution. Commercial use requires a license.
Author
Américo Simões CTT Research amexsimoes@gmail.com
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file ctt_pnp_solver-1.0.0.tar.gz.
File metadata
- Download URL: ctt_pnp_solver-1.0.0.tar.gz
- Upload date:
- Size: 3.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.13.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
597571d54f5634d7363931f8ad808d1956714223f2a6ef31bb117807ae4e1672
|
|
| MD5 |
b3bc780cbddeb164f792397d00a4bd15
|
|
| BLAKE2b-256 |
cf1db434fbb1c03ba015cacd6b4055973fb2b0f8ffa9ee4144f2fc7f0a52176b
|
File details
Details for the file ctt_pnp_solver-1.0.0-py3-none-any.whl.
File metadata
- Download URL: ctt_pnp_solver-1.0.0-py3-none-any.whl
- Upload date:
- Size: 3.3 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.13.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
c263e43fd41f101932e90ccdddf0b0bbaee38b85763c5c8cf89ec8cf5382e9e5
|
|
| MD5 |
1f82d0df020cd1f8f8b6de33dc032908
|
|
| BLAKE2b-256 |
eecc65a6a94f085bb76382eb079697c2caa52b8b00303866c4aac0e55b6315e5
|