040000 tree 77981d36c93ba6bc0f885340c41707ae6af2a912	input
100644 blob 921bb4f09afa5599b0189a35737d0883f7aaaba6	machine.cif
100644 blob 395983548cf62c28b51fcb3a89178cebb663eefd	machine.tooldef
040000 tree b262d3277be03ee160f3a51838f8c2c0290bd777	output
040000 tree 669dcb12ae1110764af968e16649b0e19f097bb4	solver
100644 blob 84478ead28a14d762820c8468060ecc59847e778	state_space.png
100644 blob 73f62dc279ce9616ed1da65abceae2402d1badbc	state_space.png.tex
100644 blob f07119bee0e4bc71a81e2a82ab84865f08c75c7e	terminate_button.png