1DaySAT

An SAT solver developed by LLM in one day. All code are generaged by LLM, I just tell LLM what I want.

Compile

#g++ -O3 1DaySAT.cpp -o 1DaySAT

Usage

#1DaySAT testcase/cnf/sat9.cnf