make relu and convolution networks smaller

[jalving]

This commit makes the relu network in neural_network_formulations.ipynb smaller. It also uses a smaller convolutional network in mnist_example_convolutionsal.ipynb. Both of these should find solutions with cbc in a few seconds. If Cbc still hangs, it may be a separate issue.

[jalving]

Looks like it's failing to connect to codecov. I see this error:

==> linux OS detected
Error: Client network socket disconnected before secure TLS connection was established
    at connResetException (internal/errors.js:570:14)
    at TLSSocket.onConnectEnd (_tls_wrap.js:1361:19)
    at Object.onceWrapper (events.js:299:28)
    at TLSSocket.emit (events.js:215:7)
    at endReadableNT (_stream_readable.js:1184:12)
    at processTicksAndRejections (internal/process/task_queues.js:80:21)```

[jalving]

Apparently this is a known issue. Some suggestions say to re-create the codecov token.

@fracek: can you try updating the codecov token? I don't have access to this project on codecov.

Nevermind, apparently I do have access. I updated the token which seems to have worked.

[codecov[bot]]

Codecov Report

Merging #47 (a3f490f) into main (88f0947) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##             main      #47   +/-   ##
=======================================
  Coverage   91.14%   91.14%           
=======================================
  Files          24       24           
  Lines        1231     1231           
  Branches      186      186           
=======================================
  Hits         1122     1122           
  Misses         80       80           
  Partials       29       29           

---

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 88f0947...a3f490f. Read the comment docs.