Hacker GitHub

← All repos

dbunker/SABR

View on GitHub ↗ ★ 13 C

Spatial and Action Based Resolver

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2013-03-06 · latest 2017-09-10

Mentions per year 3 mentions · busiest year 2013 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …it works well. [1] http://sabrlang.org/rubik/ [2] http://sabrlang.org/code/rubik/source.txt [3] https://github.com/dbunker/SABR
    comment by trex44 · 2017-09-10 · in Solving pocket Rubik’s cube (2*2*2) using Z3 and SAT solver
  2. Figured I'd dust off my old constraint programming language ( https://github.com/dbunker/SABR/blob/master/test/Real/Multip... ) with result ( https://github.com/dbunker/SABR/blob/master/test/Real/Multip... ). Fifth position being E. A bit…
    comment by jethroalias97 · 2015-07-07 · in Multiple choice
  3. …from here to a generator, which I may make later if I have time. Cool puzzle game, I like it ;D. 1) https://github.com/dbunker/SABR/blob/master/module/other-tes... 2) https://github.com/dbunker/SABR/blob/master/module/other-tes...
    comment by barristan · 2013-03-06 · in Show HN: 6 months ago I quit my job to pursue indie dev. Here is our first game