Adam M. Smith rndmcnlly

This gist implements a self-contained search engine for the VisualGenome scene corpus. The user interface is built from ipywidgets and presented with Voilà. The corpus is downloaded in the postBuild script so that fresh Binder sessions don't need to wait for this each time. Ideally even more pre-processing would be done here so that the interface gets to a responsive state faster.

	sig Number {}
	sig Group {contains: disj set Number} {
	#contains = 3
	}

	one sig Board {
	assign: Number -> Number -> one Number
	} {
	all n, x: Number \| one assign.n & x -> Number
	all n, y: Number \| one assign.n & Number -> y


	-- This a mostly-faithful translation of interstellar.lp from https://gist.github.com/rndmcnlly/cc801233012df3cb0883
	-- Integer-indexed orbitals were dropped in favor of systems just having a set of planets because the order isn't interesting.

	-- This first block of definitions defines the static configuration of the story world.

	sig Commodity {}
	private enum Equipment { Jumpdrive }
	private enum Location { Orbit, Surface }
	fun shuttleDestination: Location -> one Location { Orbit -> Surface + Surface -> Orbit }