mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-01 01:51:24 +00:00
Code Issues Wiki Activity
145667 commits 268 branches 125 tags 5.4 GiB
Commit graph

2 commits

Author SHA1 Message Date
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