https://github.com/limo1996/programverification1

Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms
https://github.com/limo1996/programverification1

cdcl-algorithm cnf cnf-clauses dpll-algorithm ethz sat-solver

Last synced: 6 days ago
JSON representation

Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms

• Host: GitHub
• URL: https://github.com/limo1996/programverification1
• Owner: limo1996
• Created: 2018-03-08T19:44:21.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-03-28T13:43:16.000Z (almost 7 years ago)
• Last Synced: 2024-11-06T19:14:38.637Z (about 2 months ago)
• Topics: cdcl-algorithm, cnf, cnf-clauses, dpll-algorithm, ethz, sat-solver
• Language: SMT
• Homepage: http://www.pm.inf.ethz.ch/education/courses/program-verification.html
• Size: 4.78 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project