Merge branch 'master' of github.com:togatoga/screwsat

README.md

@@ -11,6 +11,7 @@ I have implemented the core SAT Solver algorithms and techniques in `screwsat`.
 - CDCL(Conflict-Driven-Clause-Learning)
 - Back Jump
 - Two-Literal-Watching
+- VSIDS
 
 The performance of `screwsat` isn't as good as other modern sat solvers.  
 But you can grasp some important points of SAT Solver from `screwsat`(I hope).  
@@ -174,4 +175,4 @@ fn main() {
 This code is really inspired by his good simple code [not522's SAT Solver](https://github.com/not522/CompetitiveProgramming/blob/master/include/math/sat.hpp)
 
 ### Contribution
-Contributions and feedbacks are welcome. (e.g., fix typo and tedious code and my English, report bugs/issues, **GIVE ME GITHUB STARS**)
+Contributions and feedbacks are welcome. (e.g., fix typo and tedious code and my English, report bugs/issues, **GIVE ME GITHUB STARS**)