Commit 7cbac981 authored by Masahiko Sakai's avatar Masahiko Sakai
Browse files

slight chenge on README

parent 907cc0f7

README.txt

+1 −1
Original line number Diff line number Diff line
@@ -72,7 +72,7 @@ The solver tries to find a model with minimum sum of penalties. 
NaPS 1.00 is a release, renamed version of gpw-2.18, 

where gpw solvers are developed based on minisatp-1.0: 

  http://minisat.se/MiniSat+.html

We thank Niklas Een and Niklas Srensson.

We thank Niklas Een and Niklas Srensson, who developped nice platform MiniSat+.



NaPS distribution contains several SAT-solvers.  NaPS invokes

Glueminisat by default.