diff options
Diffstat (limited to 'math/minisat/pkg-descr')
| -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/ |