+- How It Is Done -+
Waterhouse did some penis work of his own, got the clap, had it cured, bought condoms. All of the sailors did this. They were like three-year olds who shove pencils in their ears, discover that it hurts, and stop doing it.
~Stephenson
My new job is kind of like having a job solving Rubik's Cubes. Except that I am not trying to solve a particular instance of the puzzle. I am trying to formulate a first order encoding of the puzzle to feed into a solver, which will then be able to solve any general instance of the puzzle.
So... it is a little tricky.
Especially since I do not know the exact format of our input files. >.< Rather than a complete description of all the symbols and syntax, I have just been shown a few example input files. Which are useful up to the point where I want to implement functions not contained within any of those examples.
In any case, this is one of the puzzles I have been working on.
~Stephenson
My new job is kind of like having a job solving Rubik's Cubes. Except that I am not trying to solve a particular instance of the puzzle. I am trying to formulate a first order encoding of the puzzle to feed into a solver, which will then be able to solve any general instance of the puzzle.
So... it is a little tricky.
Especially since I do not know the exact format of our input files. >.< Rather than a complete description of all the symbols and syntax, I have just been shown a few example input files. Which are useful up to the point where I want to implement functions not contained within any of those examples.
In any case, this is one of the puzzles I have been working on.