Add unfinished solver to repository