diff options
author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-19 10:44:11 +0000 |
---|---|---|
committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-19 10:44:11 +0000 |
commit | 4e942b64191e2ef98dce2c5af31047a8640db768 (patch) | |
tree | 8c3238b7f0cbec2e9210d52f562960bb22323a7d /math/minisat | |
parent | 1d1f878054efdd1171a8cb006e59ad0727610293 (diff) | |
download | ports-4e942b64191e2ef98dce2c5af31047a8640db768.tar.gz ports-4e942b64191e2ef98dce2c5af31047a8640db768.zip |
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
Approved by: portmgr blanket
Notes
Notes:
svn path=/head/; revision=415499
Diffstat (limited to 'math/minisat')
-rw-r--r-- | math/minisat/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/minisat/pkg-descr b/math/minisat/pkg-descr index 1195f6c9cd87..f33ebb2e3bff 100644 --- a/math/minisat/pkg-descr +++ b/math/minisat/pkg-descr @@ -15,6 +15,6 @@ and for applications using SAT. - Designed for integration. MiniSat supports incremental SAT and has mechanisms for adding non-clausal constraints. By virtue of being easy to modify, it is a good choice for integrating as a backend to another tool, such -as a model checker or a more generic constraint solver. +as a model checker or a more generic constraint solver. WWW: http://minisat.se/ |