5 Commits

Author	SHA1	Message	Date
Laurent Perron	d99cf97acb	reformat python files as tab length = 4 now	2018-11-11 09:39:59 +01:00
Laurent Perron	87b9d55b21	update license headers	2018-11-10 18:00:53 +01:00
Laurent Perron	e8d5858e67	revamp sat python solution callback, adds the ability to stop search from the solution callback.	2018-08-30 16:27:58 +02:00
Laurent Perron	72db1d9ef2	run pyformat on python examples	2018-06-11 11:51:18 +02:00
Laurent Perron	3aca895d96	add more examples from the doc	2017-11-22 15:56:22 +01:00