P-Time = NP-dollars. Evolutive swarm SAT solver.
from monceai import SAT
result = SAT("problem.cnf")
result = SAT(dimacs_string, budget=5.0)
result.result # "SAT" | "UNSAT" | "TIMEOUT"
result.assignment # [1, -2, 3, ...] if SAT
result.session_id # task ID for tracking
Charles Dana · Monce SAS · April 2026