2 Commits

Author	SHA1	Message	Date
Johannes Schlatow	fb4833f972	ports: minor changes in glucose, lemon and keynote ... - automatically set CC_CXX_WARN_STRICT if libs are imported - set default cap quota Issue #106	2018-06-15 10:44:14 +02:00
Johannes Schlatow	439a59c695	Add glucose SAT solver	2016-03-21 11:36:51 +01:00