3 Commits

Author	SHA1	Message	Date
Laurent Perron	6820d51741	more work on sat c#	2018-02-06 19:47:11 +01:00
Laurent Perron	f84fe1b883	cp_model.AddSumConstraint(variables, lb, ub)	2017-11-23 11:28:47 +01:00
Laurent Perron	238c357994	new python nurses examples in cp/sat and cp	2017-11-23 11:26:11 +01:00