diff options
Diffstat (limited to 'sample/trick2015/ksk_2/remarks.markdown')
-rw-r--r-- | sample/trick2015/ksk_2/remarks.markdown | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sample/trick2015/ksk_2/remarks.markdown b/sample/trick2015/ksk_2/remarks.markdown index bb9b705773..187a6804d2 100644 --- a/sample/trick2015/ksk_2/remarks.markdown +++ b/sample/trick2015/ksk_2/remarks.markdown @@ -199,6 +199,6 @@ succeed to return 0. The meaning of ``\1nn`` in regular expression seems to depend on the existence of capturing expressions. In spite of these Ruby's behaviors, we have a good news! The present -SAT sover does not suffer from the issues because the program cannot +SAT solver does not suffer from the issues because the program cannot return solutions in practical time for inputs with variables more than -40.
\ No newline at end of file +40. |