I have been trying to obtain a utility that will allow me to map instances of the integer factorization problem to an instance of SAT (the boolean satisfiability problem). I found free source code for such a utility online, at:
[url removed, login to view]~watanabe/gensat/a2/
(scroll down to 2. Algorithms and click the link "All program files (tar and gzipped)" ).
Unfortunately, this code was intended for UNIX machines, not Windows machines--and I only have Windows. I was able to unzip the file, but upon trying to compile the code in my only Windows compiler--Bloodshed Dev C++ Version 184.108.40.206--I found that the code had a huge number of errors, many of which I had never heard of and did not know how to fix.
What I am asking for is for the coder to alter the code so that it will run on my compiler. The coder will need to have Windows, and to be able to download Dev C++ to change the code.
I do not think that the errors are too difficult to fix. However, if you are considering bidding on the project, please take a look at the code and download Dev (it's free) to see if you will be able to fix the code rapidly. If you accept the bid and are unable to fix the code, I will not release any funds.
I think this will be pretty simple for an experienced coder. Make sure that you do not change the functionality of the program; it must work exactly as intended by the original programmer. One thing I would appreciate is if you would mark each change you make to the original source code; perhaps write "/* CHANGE */" by each change that you have made. Just copy and paste it to each line as you make the change; it shouldn't be too tedious, and you don't need to tell me which change you made, only that you altered the code.
NOTE: I will not be using this for commercial purposes, as the source code does not belong to me. The code will be utilized exclusively for my personal use and possibly for demonstration purposes. I will give credit to the original author of the source code (and to the coder who alters it) when using the program.
(all requirements are listed above.)