3 Commits

Author	SHA1	Message	Date
Johannes Schlatow	3ffdcfe96e	fix ports/glucose ... Issue #106	2018-06-15 10:43:53 +02:00
Emery Hemingway	c0c16907a0	Replace SHA1 digests with SHA3	2018-06-02 20:45:56 +02:00
Johannes Schlatow	439a59c695	Add glucose SAT solver	2016-03-21 11:36:51 +01:00