tsopgniduhamel/Solving-SAT-problems-using-DPLL-algorithm tsopgniduhamel/Solving-SAT-problems-using-DPLL-algorithm

  • Stars
    star
    1
  • Language
    Java
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tsopgniduhamel/Solving-SAT-problems-using-DPLL-algorithm
github

tsopgniduhamel

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Here I present an implementation of the DPLL algorithm in java. DPLL algorithm being a way of solving satisfiability problems (SAT-problems)

More Repositories

1

conFusion

angular course from coursera
TypeScript
1
star
2

Student-Specialty-Counselling-Using-Machine-Learning-Techniques

Final project of the Machine Learning Projects Competition 2021 : Student Specialty Counselling Using Machine Learning Techniques
1
star