Commit Graph

1 Commits (34208947c9f639adbd68beffa98ce343ca499c0f)

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