Check if your solution satisfies a CNF formula
Enter a CNF formula and solution to verify satisfiability
Upload multiple CNF and solution files for batch verification