NixOS/nixpkgs — pull request #1396 by DriesVanDaele (2013-12-18 13:51:31+00:00)
Title: added package dsharp

dsharp is a CNF to d-DNNF compiler