]>
2017-07-25 | acondolu | Merge branch 'permutations' into andrea | blob | commitdiff | raw |
2017-07-16 | acondolu | Extracting solutions of 3-coloring problems | blob | commitdiff | raw |
2017-07-15 | acondolu | Encoding of SAT problems and 3-colorability of graphs | blob | commitdiff | raw | diff to current |