ferhaterata

; Rachel's Pizza Ordering Puzzle
;
; Rachel is ordering pizza for seven people. She spilled coffee on her
; list but can reconstruct it from what she remembers about preferences.
; The coffee-stained list shows the 7 pizzas ordered and a visible "N"
; (end of a name) next to Sausage.

(set-logic QF_DT)

; --- Pizza types (from the coffee-stained list) ---

ferhaterata

; Rachel's Pizza Ordering Puzzle — blocking the first solution
;
; Same puzzle as pizza_puzzle.smt2, but we block the known solution
; to check if any other solution exists. If unsat, the solution is unique.

(set-logic QF_DT)

; --- Pizza types (from the coffee-stained list) ---
(declare-datatypes ((Pizza 0)) ((
  (Cheese) (Pepperoni) (Margherita) (Hawaiian) (BBQChicken) (PeppersOnions) (Sausage)

ferhaterata

; Rachel's Pizza Ordering Puzzle
;
; Rachel is ordering pizza for seven people. She spilled coffee on her
; list but can reconstruct it from what she remembers about preferences.
; The coffee-stained list shows the 7 pizzas ordered and a visible "N"
; (end of a name) next to Sausage.

(set-logic QF_DT)

; --- Pizza types (from the coffee-stained list) ---

ferhaterata

// Primitive hash function that for a string returns a positive 32 bit int
// Do not use in production, use murmur3 or fnv1
// You can improve this by changing 5 to 31
Object.defineProperty(String.prototype, 'hashCode', {
  value: function() {
    var hash = 0, i, chr;
    for (i = 0; i < this.length; i++) {
      chr   = this.charCodeAt(i);
      hash  = ((hash << 5) - hash) + chr;
      hash |= 0; // Convert to 32bit integer

ferhaterata

1. Clone your fork:

git clone git@github.com:YOUR-USERNAME/YOUR-FORKED-REPO.git

2. Add remote from original repository in your forked repository:

cd into/cloned/fork-repo
git remote add upstream git://github.com/ORIGINAL-DEV-USERNAME/REPO-YOU-FORKED-FROM.git
git fetch upstream

ferhaterata

--- Actions ---
$Copy                                              <C-C> <C-Ins>
$Cut                                               <C-X> <S-Del>
$Delete                                            <Del>
$LRU
$Paste                                             <C-V> <S-Ins>
$Redo                                              <C-S-Z> <A-S-BS>
$SearchWeb
$SelectAll                                         <C-A>
$Undo                                              <C-Z> <A-BS>

ferhaterata

SPC
    SPC: find file
    , switch buffer
    . browse files
    : MX
    ; EX
    < switch buffer
    ` eval
    u universal arg
    x pop up scratch

ferhaterata

Useful Spacemacs commands

SPC q q - quit
SPC w / - split window vertically
SPC w - - split window horizontally
SPC w =	- balance split windows
SPC 1   - switch to window 1
SPC 2   - switch to window jkk2
SPC w c - close current window
SPC w d - delete current window