Initial project proposal (contains motivation and goals, while this document primarily focuses on the implementation):
Discussion threads:
# 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], |
-- 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 |
#!/usr/bin/env python3 | |
import argparse | |
import datetime | |
import os | |
import subprocess | |
import sys | |
import tempfile | |
import qubesadmin |
Initial project proposal (contains motivation and goals, while this document primarily focuses on the implementation):
Discussion threads:
#ifndef DIMACS | |
#include <cryptominisat5/cryptominisat.h> | |
#else | |
#include <fstream> | |
#include <vector> | |
#endif | |
namespace sat { | |
#ifndef DIMACS |
Verifying that "willypillow.id" is my Blockstack ID. https://onename.com/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" || \ |