This is a SAT solver. The solver uses the CDCL algorithm to solve the SAT problem.
To run the SAT solver for any testcase, say aim-50-1_6-yes1-4.cnf, execute the following command:
cargo run testcases/aim-50-1_6-yes1-4.cnf-
Notifications
You must be signed in to change notification settings - Fork 0
aayushborkar14/SAT-Solver
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
CDCL SAT Solver in Rust
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published