diff options
| author | Adam Russell <ac.russell@live.com> | 2021-12-19 19:45:38 -0500 |
|---|---|---|
| committer | Adam Russell <ac.russell@live.com> | 2021-12-19 19:45:38 -0500 |
| commit | bde8152ce19dca3e7e5054c8ad4f82e799199f06 (patch) | |
| tree | 1f12f247f3fe0ef218f6d15b0afdac7db33ceb2a /challenge-143 | |
| parent | 9a60416f43fcc4cdf58803b1d632d56d18297dd8 (diff) | |
| download | perlweeklychallenge-club-bde8152ce19dca3e7e5054c8ad4f82e799199f06.tar.gz perlweeklychallenge-club-bde8152ce19dca3e7e5054c8ad4f82e799199f06.tar.bz2 perlweeklychallenge-club-bde8152ce19dca3e7e5054c8ad4f82e799199f06.zip | |
removed redundant constraint
Diffstat (limited to 'challenge-143')
| -rw-r--r-- | challenge-143/adam-russell/prolog/ch-2.p | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/challenge-143/adam-russell/prolog/ch-2.p b/challenge-143/adam-russell/prolog/ch-2.p index 87b44b8056..af301e157a 100644 --- a/challenge-143/adam-russell/prolog/ch-2.p +++ b/challenge-143/adam-russell/prolog/ch-2.p @@ -5,7 +5,6 @@ stealthy(N):- fd_domain(T, 2, N), fd_domain(U, 2, N), fd_domain(V, 2, N), - S * T #= U * V, S * T #= N, U * V #= N, S + T #= U + V + 1, |