2 Commits

Author	SHA1	Message	Date
Norman Feske	3ee1f80051	Disable strict warnings ... This commit is a response to Genode's increased default warning level. See the corresponding issue at: https://github.com/genodelabs/genode/issues/465	2018-01-17 19:27:10 +01:00
Johannes Schlatow	cce6a99fc7	Add soplex and scip (LP and MIP solver)	2016-03-21 11:36:57 +01:00