** Eternity II Server **

Description

The "Eternity II Server" is a hierarchical database service, dedicated to help solving the "Eternity II" puzzle challenge:

• by storing the intermediate results received from the solvers, based on the Eternity II solver, then avoiding to explore again the same blocks;
• by providing the next "chunks" of the challenge to the available solvers

The 7 main features

• Representing the huge search space as a tree-like structure
• Dividing the search space into smaller size challenges for the solvers to explore, by creating branches in the tree
• Providing the next "smaller sized" challenges to the available solvers
• Storing de results received from the solvers
• Pruning the explored branches, to avoid a hyper massive tree in the database
• Sanity checking of the tree structure (consistency between branches and the solver "breadth-first search" results)
• Tracks the status of each Solver in a timeline
• Draws a graph of the search tree

Technical details

Protocol

• HTTP REST API

Backend

• PostGreSQL database, with LTREE extension
• InfluxDB

How to build the project

This is a Java Spring Boot project

Dependencies

The "Eternity II Server" requires :

• a HTTP access to the Eternity II solver REST API (in order to divide the search space into branches)
• a JDBC access to the PostGreSQL database
• a HTTP access to the InfluxDB timeseries database

Note: the actual PostGreSQL database is also required for the non-regression Tests Suite.

REST API

GET	PUT	POST	Path	Parameters	Description
X			/api/eternity2-server/v1/jobs	size, limit, offset	get the next jobs to solve
		X	/api/eternity2-server/v1/result	(JSON Body expected)	store some results (for one job)
X			/api/eternity2-server/v1/solutions	limit, offset	get the found solutions
	X		/api/eternity2-server/v1/status	(JSON Body expected)	set a job status to acquire/release its lock
		X	/api/eternity2-server/v1/event	(JSON Body expected)	publish a solver's lifecycle event
X			/api/eternity2-server/v1/sanity-check	(no parameter)	performs an extensive sanity check
X			/api/eternity2-server/v1/graph	(no parameter)	draws the Search Tree as a graph (HTML page)