diff options
| author | Keshav Kini <keshav.kini@gmail.com> | 2017-12-13 11:46:02 -0800 |
|---|---|---|
| committer | Orivej Desh <orivej@gmx.fr> | 2017-12-17 00:27:52 +0000 |
| commit | 7b6b07482921aa48cb32b5b68841fdb15831aa05 (patch) | |
| tree | 68df0856cee3edf8b6014888012dd92afb5602e1 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | fc96261aa921b1cc8e0e653a376ba135237434ef (diff) | |
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.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions