WillyPillow

# pylint: disable=missing-module-docstring
# pylint: disable=missing-function-docstring,missing-class-docstring
# pylint: disable=invalid-name

import pprint

from pycryptosat import Solver

data = [
    [2, 5, 8, 11],

WillyPillow

-- This exercise covers the first 6 chapters of "Learn You a Haskell for Great Good!"

-- Chapter 1 - http://learnyouahaskell.com/introduction
-- Chapter 2 - http://learnyouahaskell.com/starting-out
-- Chapter 3 - http://learnyouahaskell.com/types-and-typeclasses
-- Chapter 4 - http://learnyouahaskell.com/syntax-in-functions
-- Chapter 5 - http://learnyouahaskell.com/recursion
-- Chapter 6 - http://learnyouahaskell.com/higher-order-functions

-- Download this file and then type ":l Chapter-1-6.hs" in GHCi to load this exercise

WillyPillow

#!/usr/bin/env python3

import argparse
import datetime
import os
import subprocess
import sys
import tempfile

import qubesadmin

WillyPillow

Initial project proposal (contains motivation and goals, while this document primarily focuses on the implementation):

• https://hackmd.io/aYauztkGR0iOIoh8fJLecw

Discussion threads:

• https://groups.google.com/forum/#!topic/qubes-devel/6Zb_WLy3GY4
• https://groups.google.com/forum/#!topic/qubes-devel/PyJogqT1TUg
• https://groups.google.com/forum/#!topic/qubes-devel/2XaMP4Us3kg
• https://groups.google.com/forum/#!topic/qubes-devel/wF_84b1BR0A

WillyPillow

#ifndef DIMACS
#include <cryptominisat5/cryptominisat.h>
#else
#include <fstream>
#include <vector>
#endif

namespace sat {

#ifndef DIMACS

WillyPillow

Verifying that "willypillow.id" is my Blockstack ID. https://onename.com/willypillow

WillyPillow

#!/bin/sh

usage () { echo "$0 <src> <cadaver-args>*" >/dev/stderr; }
error () { echo "$1" >/dev/stderr; usage; exit 1; }

test $# '<' 3 || \
    error "Source and cadaver arguments expected!";

src="$1"; shift;
test -r "$src" || \