diff options
Diffstat (limited to 'math/ctl-sat/pkg-descr')
| -rw-r--r-- | math/ctl-sat/pkg-descr | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/ctl-sat/pkg-descr b/math/ctl-sat/pkg-descr index 942cec01ce1b..03f3825569ee 100644 --- a/math/ctl-sat/pkg-descr +++ b/math/ctl-sat/pkg-descr @@ -6,5 +6,3 @@ to the ctl-sat program, e.g.: The worst-case time complexity is O((2^n)^3) for this SAT solver, while the worst-case space complexity is O((2^n)^2). - -WWW: https://github.com/nicolaprezza/CTLSAT |