from monceai import SAT

Drop CNF. Get everything.

Optimal formula + solution + DualTree insights — polynomial time, dollars scale.

Drop your .cnf

DIMACS format. Or .