3 commits

Author	SHA1	Message	Date
volth	08f68313a4	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
Orivej Desh	c13c93f03b	drat-trim: fix build on darwin	2017-12-17 13:19:34 +00:00
Keshav Kini	7b6b074829	drat-trim: init at 2017-08-31 ... DRAT-trim is a tool which can be used to make SAT solvers (such as glucose and glucose-syrup, which are in nixpkgs) more useful by checking their work. It has become well-accepted in the SAT solver development community and has been used in the annual SAT competitions for the last few years.	2017-12-17 00:27:52 +00:00