Experimental under-development code to streamline Jigidi solving. · GitHub