Conversation
…ately. Also added preprocess stub
added some filetypes to the .gitignore Modified Visual Studio settings to allow debugging on ARM Modified input.txt.example to be a valid input.txt
Still runs with color under OSX and Linux, but replaced with text prefixes specifying the intended color.
…e during our algorithm) (note that file_free doesn't "free" the file, it just releases the lock on it.) Changed preprocess to optimize because we'll probably call it multiple times. (each level of solve)
To test, added optimize to be called once from solve before attempting to solve. Tested on queen8x8-8.cnf and finished almost instantaneously with correct answer.
reordered solve to allow optimize to solve for sat if an optimization removes enough to find a contradiction.
Also fixed my tabbing errors in some locations.
…d Makefile to treat warnings as errors in Windows so I don't release bad code again... (I needed to fix warnings before it worked properly, as compiling in Linux told me, then when I checked my code, there were indeed warnings.)
… someone remove it?
…ions (they don't compile when we do a release build.
Yay!!! Now to test!
I intend to test it now, but I must commit it first
This reverts commit 7abe282.
…o test it now, but I must commit it first" This reverts commit 9b152fe.
This reverts commit 7017086.
Contributor
There was a problem hiding this comment.
suggests, at some point lets modify the input so it takes FILE* fp, int file_size, and a struct containing everything else.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Yeah, I did a lot of crap here.
Um. I made optimizations, and integrated them as a preprocessing step.
We can do more when we fix our memory stuff.