Skip to content

Instantly share code, notes, and snippets.

@pkitslaar
pkitslaar / antwoord.py
Last active November 1, 2020 18:25
Antwoord op logica puzzle
import time
start_time = time.time()
from z3 import *
opties = {
'nummer': ['1', '2', '3', '4', '5'],
'kleur': ['Rood', 'Groen', 'Geel', 'Blauw', 'Wit'],
'dier': ['Honden', 'Vogels', 'Katten', 'Paarden', '[Vis]'],
'drinkt': ['Thee', 'Koffie', 'Melk', 'Bier', 'Water'],
'rookt': ['PallMall', 'Dunhill', 'Blends', 'BlueMasters', 'Prince'],
'nationaliteit': ['Brit', 'Zweed', 'Deen', 'Noor', 'Duitser'],
@pkitslaar
pkitslaar / XE303c12_touchpad_fix.md
Last active August 5, 2016 08:57
Fixing the touchpad sensitivy for xfce4 in crouton on Samsung XE303C12

Fixing the touchpad sensitivy inside xfce4 using crouton on Samsung Chromebook XE303C12

Background

In the default setup of crouton the touchpad on the Samsung XE3303C12 has very poor performance (need to press very hard to make cursor move).

Analysis

Based on comments at dnschneid/crouton#628 one needs to update

Keybase proof

I hereby claim:

  • I am pkitslaar on github.
  • I am pkitslaar (https://keybase.io/pkitslaar) on keybase.
  • I have a public key ASCVD9vUyo-rpPNJG8-iHJp704HWbxR7UMW5jXJL2iwpRQo

To claim this, I am signing this object:

@pkitslaar
pkitslaar / Keybase_installation_on_ChromeBook.md
Last active April 2, 2017 01:24
Description of installation steps of Keybase.io client on crouton installation on Chromebook

Building the Keybase client (and Go 1.6.3) on a Chromebook (using crouton)

  • Author: Pieter Kitslaar
  • Date: August 2, 2016

Below are a list of steps I preformed to install the [Keybase] client application on a Chromebook using the [crouton] chroot environment.

Background