subnet112/minotaur-solver