nixpkgs

mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-08 13:13:09 +00:00

History

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
..
default.nix	drat-trim: init at 2017-08-31	2017-12-17 00:27:52 +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

default.nix

drat-trim: init at 2017-08-31

2017-12-17 00:27:52 +00:00