hoheinzollern

words = open('/usr/share/dict/words').read().splitlines()

l5w = list(filter(lambda x: len(x) == 5 and x.islower() and x.isalpha(), words))

def guess(y, n, g='     ', e=['','','','','']):
    return list(
        filter(
            lambda x: 
                all(c in x for c in y) and 
                all(not(c in x) for c in n) and 

hoheinzollern

import Data.List

data Choose a = Choose [a]
  deriving (Eq, Show)

choices (Choose xs) = xs

instance Functor Choose where
  fmap f (Choose xs) = Choose $ map f xs

hoheinzollern

from z3 import *

def find_path(path, f, *args, **kwargs):
    log = []
    def unwrap(other):
        try:
            return other.v
        except:
            return other
    class Sym:

hoheinzollern

module Main where
import Data.List
import Control.Exception

instance Show Expr where
  show (e@(Plus e1 e2)) = autoparl e e1 ++ " + " ++ autoparr e e2
  show (e@(Minus e1 e2)) = autoparl e e1 ++ " - " ++ autoparr e e2
  show (e@(Times e1 e2)) = autoparl e e1 ++ " * " ++ autoparr e e2
  show (e@(Div e1 e2)) = autoparl e e1 ++ " / " ++ autoparr e e2
  show (Const x) = show x

hoheinzollern

*** Date: Friday, December 7, 2012 10:25:15 AM Central European Time

*** Platform Details:

*** System properties:
awt.nativeDoubleBuffering=true
awt.toolkit=apple.awt.CToolkit
eclipse.application=org.eclipse.ui.ide.workbench
eclipse.buildId=M20120208-0800
eclipse.commands=-os

hoheinzollern

*** Date: Thursday, December 6, 2012 12:29:19 PM Central European Time

*** Platform Details:

*** System properties:
applicationXMI=org.eclipse.ui.workbench/LegacyIDE.e4xmi
awt.nativeDoubleBuffering=true
awt.toolkit=apple.awt.CToolkit
eclipse.application=org.eclipse.ui.ide.workbench
eclipse.buildId=M20120914-1800

hoheinzollern

import java.awt.Container;
import java.awt.GridLayout;
import java.util.ArrayList;

import javax.swing.JFrame;

import weka.clusterers.HierarchicalClusterer;
import weka.core.Attribute;
import weka.core.DenseInstance;
import weka.core.EuclideanDistance;

hoheinzollern

from copy import deepcopy
from pprint import pprint

board = [
    [-1,-1, 1, 1, 1,-1,-1],
    [-1,-1, 1, 1, 1,-1,-1],
    [ 1, 1, 1, 1, 1, 1, 1],
    [ 1, 1, 1, 0, 1, 1, 1],
    [ 1, 1, 1, 1, 1, 1, 1],
    [-1,-1, 1, 1, 1,-1,-1],

hoheinzollern

%% instance

place(1).
place(2).
place(3).
place(4).
transition(1).
transition(2).
t_pre(1,1).
t_post(1,2).

hoheinzollern

from django.contrib import admin

class SlaveInline(admin.TabularInline):
    model = Slave
    extra = 0

class MasterAdmin(admin.ModelAdmin):
    inlines = (SlaveInline,)

    class Media: