Commit Graph

1 Commits (f2abdb6ec86b7c5fcc861cb5f5d91339c921bc71)

Author SHA1 Message Date
Michel Juillard c22d31330c Adding 'ramsey_constraints' block to declare contraints for Ramsey
problems. Note that LMMCP (solve_algo=10) still doesn't work in all cases.
2015-05-31 12:18:20 +02:00