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	439a59c695	Add glucose SAT solver	2016-03-21 11:36:51 +01:00