Dmitry Blotsky dblotsky

## index.html
<!DOCTYPE html>
<html>
<head>
    <title></title>

    <!-- CSS goes in here -->
    <style type="text/css">

    </style>
</head>

## index.html
<!DOCTYPE html>
<html>
<head>
    <title>Reload Bug</title>
    <style type="text/css">
        p {
            font-size: 3em;
        }
    </style>
    <script type="text/javascript">

## Makefile
# config
N = 10
S = 4321
T = 20

PROBLEM_SELECTOR   = control
BENCHMARK_SELECTOR = unsat/big

# constants
CSV_HEADER = "problem,elapsed,start,end,command"

## gulp_snippet.js
gulp.task("clean", function () {
    return gulp.src("dist/*").pipe(rm());
});

gulp.task("config", function() {
    spawn("python", ["gen_config.py"])
        .stdout
        .pipe(stream("config.yml"))
        .pipe(buffer())
        .pipe(gulp.dest("."));

## english.py
binary  = '01001001 00100000 01100010 01100101 01101100 01101001 01100101 01110110 01100101 00100000 01101001 01101110 00100000 01111001 01101111 01110101 00100000 00111100 00110011'
english = ''.join(chr(int(c, 2)) for c in binary.split(' '))

## catan.py
#! /usr/bin/python

import random
import curses

KEY_ESCAPE = 27
KEY_ENTER  = 10
KEY_Q      = 81
KEY_q      = 113

## word_search.py
# the word seach board, as a list of rows
# NOTE:
#      rows must all be of the same length
BOARD = [
    "wcbqlqhtwgayj",
    "bfhtgaycxqqtx",
    "vrhczdtgayxfq",
    "cvgaykcxwpfhd",
    "tbqlqgayltvtg",
    "sdwhfxcqjbqla",

## voices.sh
#! /bin/bash

usage() {
    echo "Usage: $0 [phrase | \"default\"]"
    exit 1
}

run() {

    local phrase=$@
	<!DOCTYPE html>
	<html>
	<head>
	<title></title>

	<!-- CSS goes in here -->
	<style type="text/css">

	</style>
	</head>
	# config
	N = 10
	S = 4321
	T = 20

	PROBLEM_SELECTOR = control
	BENCHMARK_SELECTOR = unsat/big

	# constants
	CSV_HEADER = "problem,elapsed,start,end,command"
	gulp.task("clean", function () {
	return gulp.src("dist/*").pipe(rm());
	});

	gulp.task("config", function() {
	spawn("python", ["gen_config.py"])
	.stdout
	.pipe(stream("config.yml"))
	.pipe(buffer())
	.pipe(gulp.dest("."));
	binary = '01001001 00100000 01100010 01100101 01101100 01101001 01100101 01110110 01100101 00100000 01101001 01101110 00100000 01111001 01101111 01110101 00100000 00111100 00110011'
	english = ''.join(chr(int(c, 2)) for c in binary.split(' '))
	#! /usr/bin/python

	import random
	import curses

	KEY_ESCAPE = 27
	KEY_ENTER = 10
	KEY_Q = 81
	KEY_q = 113
	# the word seach board, as a list of rows
	# NOTE:
	# rows must all be of the same length
	BOARD = [
	"wcbqlqhtwgayj",
	"bfhtgaycxqqtx",
	"vrhczdtgayxfq",
	"cvgaykcxwpfhd",
	"tbqlqgayltvtg",
	"sdwhfxcqjbqla",
	#! /bin/bash

	usage() {
	echo "Usage: $0 [phrase \| \"default\"]"
	exit 1
	}

	run() {

	local phrase=$@