mvcisback

# Start from a core stack version
FROM jupyter/scipy-notebook:dc9744740e12
USER root
RUN apt-get update && apt-get install -y \
    zlib1g-dev \
    graphviz
USER jovyan    
# Install from requirements.txt file
COPY requirements.txt /tmp/
COPY experiment.ipynb /home/jovyan/

mvcisback

# Start from a core stack version
FROM jupyter/datascience-notebook:9f9e5ca8fe5a
# Install from requirements.txt file
COPY requirements.txt /tmp/
COPY pyaiger_cav2020.ipynb /home/jovyan/work
RUN pip install --requirement /tmp/requirements.txt

mvcisback

mvcisback

mvcisback

mvcisback

```json
{
    "body": {
        "client": {
            "name": "keybase.io node.js client",
            "version": "0.7.8"
        },
        "key": {
            "fingerprint": "bd4b19171fc8e33285e572045f0b9983ed00a2af",
            "host": "keybase.io",

mvcisback

{
 "metadata": {
  "name": "",
  "signature": "sha256:693012043570a9b70eea9e1a047297220807876c54b8818bd9164fffcb9b19d4"
 },
 "nbformat": 3,
 "nbformat_minor": 0,
 "worksheets": [
  {
   "cells": [

mvcisback

function task() {
    shorten-urls task "$@"
}

mvcisback

from infix import or_infix as infix
from more_itertools import consumer


@infix
def to(src, sink):
    def _to():
        for x in src:
            sink.send(x)
    return _to

mvcisback

{
 "metadata": {
  "name": "",
  "signature": "sha256:1ddd4a41de2fd581758a57a6abb740a94aabc0fdb33a638bbc55244b095d2f84"
 },
 "nbformat": 3,
 "nbformat_minor": 0,
 "worksheets": [
  {
   "cells": [