Update README.md

Nauchnik · Feb 13, 2018 · c293d28 · c293d28
1 parent 7b89a5b
commit c293d28
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,2 @@
 # pdsat
-Parallel and Distributed SAT solver
-MPI SAT solver based on the partitioning approach, Monte Carlo method and local search heuristics.
+Parallel and Distributed SAT solver (PDSAT) - an MPI-based divide-and-conquer SAT solver based on the Monte Carlo method and local search heuristics.