]>
2017-07-15 | acondolu | Added problem wrongly backtracking | tree | commitdiff |
2017-07-15 | acondolu | Forgot one "Z" | tree | commitdiff |
2017-07-15 | acondolu | Important: added special variable "Z" for zero. | tree | commitdiff |
2017-07-15 | acondolu | Moved all problems in problems folder. Last ones in "w" | tree | commitdiff |
2017-07-15 | acondolu | Fixes to parser | tree | commitdiff |
2017-07-15 | acondolu | Added problems encoded from 3-colorability of graphs | tree | commitdiff |
2017-07-14 | acondolu | Command line arguments to ./a.out | tree | commitdiff |
2017-07-14 | acondolu | Parser.from_file, and p* problems moved to problems/p | tree | commitdiff |